Struct RegionAssumptionsStorage
pub struct RegionAssumptionsStorage;Trait Implementations§
§impl GcInternedSliceVisit for RegionAssumptionsStorage
impl GcInternedSliceVisit for RegionAssumptionsStorage
fn visit_header( header: &<RegionAssumptionsStorage as SliceInternable>::Header, gc: &mut GarbageCollector, )
fn visit_slice( header: &[<RegionAssumptionsStorage as SliceInternable>::SliceType], gc: &mut GarbageCollector, )
§impl SliceInternable for RegionAssumptionsStorage
impl SliceInternable for RegionAssumptionsStorage
const USE_GC: bool = true
type Header = ()
type SliceType = OutlivesPredicate<DbInterner<'static>, GenericArg<'static>>
fn storage() -> &'static InternSliceStorage<RegionAssumptionsStorage>
Auto Trait Implementations§
impl Freeze for RegionAssumptionsStorage
impl RefUnwindSafe for RegionAssumptionsStorage
impl Send for RegionAssumptionsStorage
impl Sync for RegionAssumptionsStorage
impl Unpin for RegionAssumptionsStorage
impl UnsafeUnpin for RegionAssumptionsStorage
impl UnwindSafe for RegionAssumptionsStorage
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more