pub struct TypeFlags(InternalBitFlags);
Expand description
Flags that we track on types. These flags are propagated upwards through the type during type construction, so that we can quickly check whether the type has various kinds of types in it without recursing over the type itself.
Tuple Fields§
§0: InternalBitFlags
Implementations§
source§impl TypeFlags
impl TypeFlags
sourcepub const HAS_TY_PARAM: TypeFlags = _
pub const HAS_TY_PARAM: TypeFlags = _
Does this have Param
?
sourcepub const HAS_RE_PARAM: TypeFlags = _
pub const HAS_RE_PARAM: TypeFlags = _
Does this have ReEarlyParam
?
sourcepub const HAS_CT_PARAM: TypeFlags = _
pub const HAS_CT_PARAM: TypeFlags = _
Does this have ConstKind::Param
?
pub const HAS_PARAM: TypeFlags = _
sourcepub const HAS_TY_INFER: TypeFlags = _
pub const HAS_TY_INFER: TypeFlags = _
Does this have Infer
?
sourcepub const HAS_RE_INFER: TypeFlags = _
pub const HAS_RE_INFER: TypeFlags = _
Does this have ReVar
?
sourcepub const HAS_CT_INFER: TypeFlags = _
pub const HAS_CT_INFER: TypeFlags = _
Does this have ConstKind::Infer
?
sourcepub const HAS_INFER: TypeFlags = _
pub const HAS_INFER: TypeFlags = _
Does this have inference variables? Used to determine whether inference is required.
sourcepub const HAS_TY_PLACEHOLDER: TypeFlags = _
pub const HAS_TY_PLACEHOLDER: TypeFlags = _
Does this have Placeholder
?
sourcepub const HAS_RE_PLACEHOLDER: TypeFlags = _
pub const HAS_RE_PLACEHOLDER: TypeFlags = _
Does this have RePlaceholder
?
sourcepub const HAS_CT_PLACEHOLDER: TypeFlags = _
pub const HAS_CT_PLACEHOLDER: TypeFlags = _
Does this have ConstKind::Placeholder
?
sourcepub const HAS_PLACEHOLDER: TypeFlags = _
pub const HAS_PLACEHOLDER: TypeFlags = _
Does this have placeholders?
sourcepub const HAS_FREE_LOCAL_REGIONS: TypeFlags = _
pub const HAS_FREE_LOCAL_REGIONS: TypeFlags = _
true
if there are “names” of regions and so forth
that are local to a particular fn/inferctxt
sourcepub const HAS_FREE_LOCAL_NAMES: TypeFlags = _
pub const HAS_FREE_LOCAL_NAMES: TypeFlags = _
true
if there are “names” of types and regions and so forth
that are local to a particular fn
sourcepub const HAS_TY_PROJECTION: TypeFlags = _
pub const HAS_TY_PROJECTION: TypeFlags = _
Does this have Projection
?
sourcepub const HAS_TY_WEAK: TypeFlags = _
pub const HAS_TY_WEAK: TypeFlags = _
Does this have Weak
?
sourcepub const HAS_TY_OPAQUE: TypeFlags = _
pub const HAS_TY_OPAQUE: TypeFlags = _
Does this have Opaque
?
sourcepub const HAS_TY_INHERENT: TypeFlags = _
pub const HAS_TY_INHERENT: TypeFlags = _
Does this have Inherent
?
sourcepub const HAS_CT_PROJECTION: TypeFlags = _
pub const HAS_CT_PROJECTION: TypeFlags = _
Does this have ConstKind::Unevaluated
?
sourcepub const HAS_ALIAS: TypeFlags = _
pub const HAS_ALIAS: TypeFlags = _
Does this have Alias
or ConstKind::Unevaluated
?
Rephrased, could this term be normalized further?
sourcepub const HAS_FREE_REGIONS: TypeFlags = _
pub const HAS_FREE_REGIONS: TypeFlags = _
Does this have any region that “appears free” in the type?
Basically anything but ReBound
and ReErased
.
sourcepub const HAS_RE_BOUND: TypeFlags = _
pub const HAS_RE_BOUND: TypeFlags = _
Does this have any ReBound
regions?
sourcepub const HAS_TY_BOUND: TypeFlags = _
pub const HAS_TY_BOUND: TypeFlags = _
Does this have any Bound
types?
sourcepub const HAS_CT_BOUND: TypeFlags = _
pub const HAS_CT_BOUND: TypeFlags = _
Does this have any ConstKind::Bound
consts?
sourcepub const HAS_BOUND_VARS: TypeFlags = _
pub const HAS_BOUND_VARS: TypeFlags = _
Does this have any bound variables? Used to check if a global bound is safe to evaluate.
sourcepub const HAS_RE_ERASED: TypeFlags = _
pub const HAS_RE_ERASED: TypeFlags = _
Does this have any ReErased
regions?
sourcepub const STILL_FURTHER_SPECIALIZABLE: TypeFlags = _
pub const STILL_FURTHER_SPECIALIZABLE: TypeFlags = _
Does this value have parameters/placeholders/inference variables which could be
replaced later, in a way that would change the results of impl
specialization?
sourcepub const HAS_TY_FRESH: TypeFlags = _
pub const HAS_TY_FRESH: TypeFlags = _
Does this value have InferTy::FreshTy/FreshIntTy/FreshFloatTy
?
sourcepub const HAS_CT_FRESH: TypeFlags = _
pub const HAS_CT_FRESH: TypeFlags = _
Does this value have InferConst::Fresh
?
sourcepub const HAS_TY_COROUTINE: TypeFlags = _
pub const HAS_TY_COROUTINE: TypeFlags = _
Does this have Coroutine
or CoroutineWitness
?
sourcepub const HAS_BINDER_VARS: TypeFlags = _
pub const HAS_BINDER_VARS: TypeFlags = _
Does this have any binders with bound vars (e.g. that need to be anonymized)?
source§impl TypeFlags
impl TypeFlags
sourcepub const fn bits(&self) -> u32
pub const fn bits(&self) -> u32
Get the underlying bits value.
The returned value is exactly the bits set in this flags value.
sourcepub const fn from_bits(bits: u32) -> Option<TypeFlags>
pub const fn from_bits(bits: u32) -> Option<TypeFlags>
Convert from a bits value.
This method will return None
if any unknown bits are set.
sourcepub const fn from_bits_truncate(bits: u32) -> TypeFlags
pub const fn from_bits_truncate(bits: u32) -> TypeFlags
Convert from a bits value, unsetting any unknown bits.
sourcepub const fn from_bits_retain(bits: u32) -> TypeFlags
pub const fn from_bits_retain(bits: u32) -> TypeFlags
Convert from a bits value exactly.
sourcepub fn from_name(name: &str) -> Option<TypeFlags>
pub fn from_name(name: &str) -> Option<TypeFlags>
Get a flags value with the bits of a flag with the given name set.
This method will return None
if name
is empty or doesn’t
correspond to any named flag.
sourcepub const fn intersects(&self, other: TypeFlags) -> bool
pub const fn intersects(&self, other: TypeFlags) -> bool
Whether any set bits in a source flags value are also set in a target flags value.
sourcepub const fn contains(&self, other: TypeFlags) -> bool
pub const fn contains(&self, other: TypeFlags) -> bool
Whether all set bits in a source flags value are also set in a target flags value.
sourcepub fn remove(&mut self, other: TypeFlags)
pub fn remove(&mut self, other: TypeFlags)
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
remove
won’t truncate other
, but the !
operator will.
sourcepub fn toggle(&mut self, other: TypeFlags)
pub fn toggle(&mut self, other: TypeFlags)
The bitwise exclusive-or (^
) of the bits in two flags values.
sourcepub fn set(&mut self, other: TypeFlags, value: bool)
pub fn set(&mut self, other: TypeFlags, value: bool)
Call insert
when value
is true
or remove
when value
is false
.
sourcepub const fn intersection(self, other: TypeFlags) -> TypeFlags
pub const fn intersection(self, other: TypeFlags) -> TypeFlags
The bitwise and (&
) of the bits in two flags values.
sourcepub const fn union(self, other: TypeFlags) -> TypeFlags
pub const fn union(self, other: TypeFlags) -> TypeFlags
The bitwise or (|
) of the bits in two flags values.
sourcepub const fn difference(self, other: TypeFlags) -> TypeFlags
pub const fn difference(self, other: TypeFlags) -> TypeFlags
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
difference
won’t truncate other
, but the !
operator will.
sourcepub const fn symmetric_difference(self, other: TypeFlags) -> TypeFlags
pub const fn symmetric_difference(self, other: TypeFlags) -> TypeFlags
The bitwise exclusive-or (^
) of the bits in two flags values.
sourcepub const fn complement(self) -> TypeFlags
pub const fn complement(self) -> TypeFlags
The bitwise negation (!
) of the bits in a flags value, truncating the result.
source§impl TypeFlags
impl TypeFlags
sourcepub const fn iter(&self) -> Iter<TypeFlags>
pub const fn iter(&self) -> Iter<TypeFlags>
Yield a set of contained flags values.
Each yielded flags value will correspond to a defined named flag. Any unknown bits will be yielded together as a final flags value.
sourcepub const fn iter_names(&self) -> IterNames<TypeFlags>
pub const fn iter_names(&self) -> IterNames<TypeFlags>
Yield a set of contained named flags values.
This method is like iter
, except only yields bits in contained named flags.
Any unknown bits, or bits not corresponding to a contained flag will not be yielded.
Trait Implementations§
source§impl BitAndAssign for TypeFlags
impl BitAndAssign for TypeFlags
source§fn bitand_assign(&mut self, other: TypeFlags)
fn bitand_assign(&mut self, other: TypeFlags)
The bitwise and (&
) of the bits in two flags values.
source§impl BitOrAssign for TypeFlags
impl BitOrAssign for TypeFlags
source§fn bitor_assign(&mut self, other: TypeFlags)
fn bitor_assign(&mut self, other: TypeFlags)
The bitwise or (|
) of the bits in two flags values.
source§impl BitXorAssign for TypeFlags
impl BitXorAssign for TypeFlags
source§fn bitxor_assign(&mut self, other: TypeFlags)
fn bitxor_assign(&mut self, other: TypeFlags)
The bitwise exclusive-or (^
) of the bits in two flags values.
source§impl Extend<TypeFlags> for TypeFlags
impl Extend<TypeFlags> for TypeFlags
source§fn extend<T>(&mut self, iterator: T)where
T: IntoIterator<Item = TypeFlags>,
fn extend<T>(&mut self, iterator: T)where
T: IntoIterator<Item = TypeFlags>,
The bitwise or (|
) of the bits in each flags value.
source§fn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
extend_one
)source§fn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
extend_one
)source§impl Flags for TypeFlags
impl Flags for TypeFlags
source§fn from_bits_retain(bits: u32) -> TypeFlags
fn from_bits_retain(bits: u32) -> TypeFlags
source§fn from_bits_truncate(bits: Self::Bits) -> Self
fn from_bits_truncate(bits: Self::Bits) -> Self
source§fn from_name(name: &str) -> Option<Self>
fn from_name(name: &str) -> Option<Self>
source§fn iter_names(&self) -> IterNames<Self>
fn iter_names(&self) -> IterNames<Self>
source§fn intersects(&self, other: Self) -> boolwhere
Self: Sized,
fn intersects(&self, other: Self) -> boolwhere
Self: Sized,
source§fn contains(&self, other: Self) -> boolwhere
Self: Sized,
fn contains(&self, other: Self) -> boolwhere
Self: Sized,
source§fn insert(&mut self, other: Self)where
Self: Sized,
fn insert(&mut self, other: Self)where
Self: Sized,
|
) of the bits in two flags values.source§fn remove(&mut self, other: Self)where
Self: Sized,
fn remove(&mut self, other: Self)where
Self: Sized,
&!
). Read moresource§fn toggle(&mut self, other: Self)where
Self: Sized,
fn toggle(&mut self, other: Self)where
Self: Sized,
^
) of the bits in two flags values.source§fn intersection(self, other: Self) -> Self
fn intersection(self, other: Self) -> Self
&
) of the bits in two flags values.source§fn difference(self, other: Self) -> Self
fn difference(self, other: Self) -> Self
&!
). Read moresource§fn symmetric_difference(self, other: Self) -> Self
fn symmetric_difference(self, other: Self) -> Self
^
) of the bits in two flags values.source§fn complement(self) -> Self
fn complement(self) -> Self
!
) of the bits in a flags value, truncating the result.source§impl FromIterator<TypeFlags> for TypeFlags
impl FromIterator<TypeFlags> for TypeFlags
source§impl IntoIterator for TypeFlags
impl IntoIterator for TypeFlags
source§impl Sub for TypeFlags
impl Sub for TypeFlags
source§impl SubAssign for TypeFlags
impl SubAssign for TypeFlags
source§fn sub_assign(&mut self, other: TypeFlags)
fn sub_assign(&mut self, other: TypeFlags)
The intersection of a source flags value with the complement of a target flags value (&!
).
This method is not equivalent to self & !other
when other
has unknown bits set.
difference
won’t truncate other
, but the !
operator will.
impl Copy for TypeFlags
impl Eq for TypeFlags
impl StructuralPartialEq for TypeFlags
Auto Trait Implementations§
impl Freeze for TypeFlags
impl RefUnwindSafe for TypeFlags
impl Send for TypeFlags
impl Sync for TypeFlags
impl Unpin for TypeFlags
impl UnwindSafe for TypeFlags
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
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> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
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<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> 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<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> 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,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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: 4 bytes