Struct chalk_ir::TypeFlags [−][src]
pub struct TypeFlags { /* fields omitted */ }
Expand description
Contains flags indicating various properties of a Ty
Implementations
Does the type contain an InferenceVar
Does the type contain a lifetime with an InferenceVar
Does the type contain a ConstValue with an InferenceVar
Does the type contain a Placeholder TyKind
Does the type contain a lifetime with a Placeholder
Does the type contain a ConstValue Placeholder
True when the type has free lifetimes related to a local context
Does the type contain a projection of an associated type
Does the type contain an opaque type
Does the type contain an unevaluated const projection
Does the type contain any free lifetimes
True when the type contains lifetimes that will be substituted when function is called
True when the type contains an erased lifetime
Does the type contain placeholders or inference variables that could be replaced later
True when the type contains free names local to a particular context
Does the type contain any form of projection
Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.
Convert from underlying bit representation, dropping any bits that do not correspond to flags.
Convert from underlying bit representation, preserving all bits (even those not corresponding to a defined flag).
Returns true
if there are flags common to both self
and other
.
Returns true
all of the flags in other
are contained within self
.
Trait Implementations
Disables all flags disabled in the set.
Adds the set of flags.
Toggles the set of flags.
Extends a collection with the contents of an iterator. Read more
extend_one
)Extends a collection with exactly one element.
extend_one
)Reserves capacity in a collection for the given number of additional elements. Read more
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Disables all flags enabled in the set.
Auto Trait Implementations
impl RefUnwindSafe for TypeFlags
impl UnwindSafe for TypeFlags
Blanket Implementations
Mutably borrows from an owned value. Read more
Cast a value to type U
using CastTo
.