Struct chalk_ir::TypeFlags

pub struct TypeFlags { /* fields omitted */ }

Contains flags indicating various properties of a Ty

Implementations

impl TypeFlags

pub const HAS_TY_INFER: TypeFlags

Does the type contain an InferenceVar

pub const HAS_RE_INFER: TypeFlags

Does the type contain a lifetime with an InferenceVar

pub const HAS_CT_INFER: TypeFlags

Does the type contain a ConstValue with an InferenceVar

pub const HAS_TY_PLACEHOLDER: TypeFlags

Does the type contain a Placeholder TyKind

pub const HAS_RE_PLACEHOLDER: TypeFlags

Does the type contain a lifetime with a Placeholder

pub const HAS_CT_PLACEHOLDER: TypeFlags

Does the type contain a ConstValue Placeholder

pub const HAS_FREE_LOCAL_REGIONS: TypeFlags

True when the type has free lifetimes related to a local context

pub const HAS_TY_PROJECTION: TypeFlags

Does the type contain a projection of an associated type

pub const HAS_TY_OPAQUE: TypeFlags

Does the type contain an opaque type

pub const HAS_CT_PROJECTION: TypeFlags

Does the type contain an unevaluated const projection

pub const HAS_ERROR: TypeFlags

Does the type contain an error

pub const HAS_FREE_REGIONS: TypeFlags

Does the type contain any free lifetimes

pub const HAS_RE_LATE_BOUND: TypeFlags

True when the type contains lifetimes that will be substituted when function is called

pub const HAS_RE_ERASED: TypeFlags

True when the type contains an erased lifetime

pub const STILL_FURTHER_SPECIALIZABLE: TypeFlags

Does the type contain placeholders or inference variables that could be replaced later

pub const HAS_FREE_LOCAL_NAMES: TypeFlags

True when the type contains free names local to a particular context

pub const HAS_PROJECTION: TypeFlags

Does the type contain any form of projection

pub const fn empty() -> TypeFlags

Returns an empty set of flags

pub const fn all() -> TypeFlags

Returns the set containing all flags.

pub const fn bits(&self) -> u16

Returns the raw value of the flags currently stored.

pub fn from_bits(bits: u16) -> Option<TypeFlags>

Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.

pub const fn from_bits_truncate(bits: u16) -> TypeFlags

Convert from underlying bit representation, dropping any bits that do not correspond to flags.

pub const unsafe fn from_bits_unchecked(bits: u16) -> TypeFlags

Convert from underlying bit representation, preserving all bits (even those not corresponding to a defined flag).

pub const fn is_empty(&self) -> bool

Returns true if no flags are currently stored.

pub const fn is_all(&self) -> bool

Returns true if all flags are currently set.

pub const fn intersects(&self, other: TypeFlags) -> bool

Returns true if there are flags common to both self and other.

pub const fn contains(&self, other: TypeFlags) -> bool

Returns true all of the flags in other are contained within self.

pub fn insert(&mut self, other: TypeFlags)

Inserts the specified flags in-place.

pub fn remove(&mut self, other: TypeFlags)

Removes the specified flags in-place.

pub fn toggle(&mut self, other: TypeFlags)

Toggles the specified flags in-place.

pub fn set(&mut self, other: TypeFlags, value: bool)

Inserts or removes the specified flags depending on the passed value.

Trait Implementations

impl Binary for TypeFlags

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl BitAnd<TypeFlags> for TypeFlags

type Output = TypeFlags

The resulting type after applying the & operator.

pub fn bitand(self, other: TypeFlags) -> TypeFlags

Returns the intersection between the two sets of flags.

impl BitAndAssign<TypeFlags> for TypeFlags

pub fn bitand_assign(&mut self, other: TypeFlags)

Disables all flags disabled in the set.

impl BitOr<TypeFlags> for TypeFlags

type Output = TypeFlags

The resulting type after applying the | operator.

pub fn bitor(self, other: TypeFlags) -> TypeFlags

Returns the union of the two sets of flags.

impl BitOrAssign<TypeFlags> for TypeFlags

pub fn bitor_assign(&mut self, other: TypeFlags)

Adds the set of flags.

impl BitXor<TypeFlags> for TypeFlags

type Output = TypeFlags

The resulting type after applying the ^ operator.

pub fn bitxor(self, other: TypeFlags) -> TypeFlags

Returns the left flags, but with all the right flags toggled.

impl BitXorAssign<TypeFlags> for TypeFlags

pub fn bitxor_assign(&mut self, other: TypeFlags)

Toggles the set of flags.

impl Clone for TypeFlags

pub fn clone(&self) -> TypeFlags

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for TypeFlags

impl Debug for TypeFlags

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for TypeFlags

impl Extend<TypeFlags> for TypeFlags

pub fn extend<T: IntoIterator<Item = TypeFlags>>(&mut self, iterator: T)

Extends a collection with the contents of an iterator.

pub fn extend_one(&mut self, item: A)

🔬 This is a nightly-only experimental API. (extend_one)

Extends a collection with exactly one element.

pub fn extend_reserve(&mut self, additional: usize)

🔬 This is a nightly-only experimental API. (extend_one)

Reserves capacity in a collection for the given number of additional elements.

impl FromIterator<TypeFlags> for TypeFlags

pub fn from_iter<T: IntoIterator<Item = TypeFlags>>(iterator: T) -> TypeFlags

Creates a value from an iterator.

impl Hash for TypeFlags

pub fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl LowerHex for TypeFlags

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Not for TypeFlags

type Output = TypeFlags

The resulting type after applying the ! operator.

pub fn not(self) -> TypeFlags

Returns the complement of this set of flags.

impl Octal for TypeFlags

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Ord for TypeFlags

pub fn cmp(&self, other: &TypeFlags) -> Ordering

This method returns an Ordering between self and other.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<TypeFlags> for TypeFlags

pub fn eq(&self, other: &TypeFlags) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &TypeFlags) -> bool

This method tests for !=.

impl PartialOrd<TypeFlags> for TypeFlags

pub fn partial_cmp(&self, other: &TypeFlags) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

pub fn lt(&self, other: &TypeFlags) -> bool

This method tests less than (for self and other) and is used by the < operator.

pub fn le(&self, other: &TypeFlags) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

pub fn gt(&self, other: &TypeFlags) -> bool

This method tests greater than (for self and other) and is used by the > operator.

pub fn ge(&self, other: &TypeFlags) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralEq for TypeFlags

impl StructuralPartialEq for TypeFlags

impl Sub<TypeFlags> for TypeFlags

type Output = TypeFlags

The resulting type after applying the - operator.

pub fn sub(self, other: TypeFlags) -> TypeFlags

Returns the set difference of the two sets of flags.

impl SubAssign<TypeFlags> for TypeFlags

pub fn sub_assign(&mut self, other: TypeFlags)

Disables all flags enabled in the set.

impl UpperHex for TypeFlags

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.