Trait proc_macro_assertions::bounds::ProvideBounds

pub trait ProvideBounds<'a, T>where
    Self: Sized + AssertableWithBounds<'a, T>,{
    // Required method
    fn provide_bounds(self, bounds: T) -> ResolvedBounds<'a, T, Self>;
}

Required Methods

fn provide_bounds(self, bounds: T) -> ResolvedBounds<'a, T, Self>

Implementors

impl<'a, T, U> ProvideBounds<'a, T> for Uwhere U: Sized + AssertableWithBounds<'a, T>,