Enum rustc_type_ir::fast_reject::TreatParams
source · pub enum TreatParams {
InstantiateWithInfer,
AsRigid,
}
Expand description
Generic parameters are pretty much just bound variables, e.g.
the type of fn foo<'a, T>(x: &'a T) -> u32 { ... }
can be thought of as
for<'a, T> fn(&'a T) -> u32
.
Typecheck of foo
has to succeed for all possible generic arguments, so
during typeck, we have to treat its generic parameters as if they
were placeholders.
But when calling foo
we only have to provide a specific generic argument.
In that case the generic parameters are instantiated with inference variables.
As we use simplify_type
before that instantiation happens, we just treat
generic parameters as if they were inference variables in that case.
Variants§
InstantiateWithInfer
Treat parameters as infer vars. This is the correct mode for caching an impl’s type for lookup.
AsRigid
Treat parameters as placeholders in the given environment. This is the correct mode for lookup, as during candidate selection.
This also treats projections with inference variables as infer vars since they could be further normalized.
Trait Implementations§
source§impl Clone for TreatParams
impl Clone for TreatParams
source§fn clone(&self) -> TreatParams
fn clone(&self) -> TreatParams
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for TreatParams
impl Debug for TreatParams
source§impl PartialEq for TreatParams
impl PartialEq for TreatParams
impl Copy for TreatParams
impl Eq for TreatParams
impl StructuralPartialEq for TreatParams
Auto Trait Implementations§
impl DynSend for TreatParams
impl DynSync for TreatParams
impl Freeze for TreatParams
impl RefUnwindSafe for TreatParams
impl Send for TreatParams
impl Sync for TreatParams
impl Unpin for TreatParams
impl UnwindSafe for TreatParams
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
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§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>
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>
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 moresource§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
InstantiateWithInfer
: 0 bytesAsRigid
: 0 bytes