pub enum BoundRegionConversionTime {
FnCall,
HigherRankedType,
AssocTypeProjection(SolverDefId),
}
Expand description
Times when we replace bound regions with existentials:
Variants§
FnCall
when a fn is called
HigherRankedType
when two higher-ranked types are compared
AssocTypeProjection(SolverDefId)
when projecting an associated type
Trait Implementations§
Source§impl Clone for BoundRegionConversionTime
impl Clone for BoundRegionConversionTime
Source§fn clone(&self) -> BoundRegionConversionTime
fn clone(&self) -> BoundRegionConversionTime
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for BoundRegionConversionTime
impl Debug for BoundRegionConversionTime
impl Copy for BoundRegionConversionTime
Auto Trait Implementations§
impl Freeze for BoundRegionConversionTime
impl !RefUnwindSafe for BoundRegionConversionTime
impl Send for BoundRegionConversionTime
impl Sync for BoundRegionConversionTime
impl Unpin for BoundRegionConversionTime
impl !UnwindSafe for BoundRegionConversionTime
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§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