Struct rustc::ty::TypeFlags

pub struct TypeFlags {
    // some fields omitted
}

Unstable (rustc_private)

Methods

impl TypeFlags

const HAS_PARAMS: TypeFlags = TypeFlags{bits: 1 << 0,}

const HAS_SELF: TypeFlags = TypeFlags{bits: 1 << 1,}

const HAS_TY_INFER: TypeFlags = TypeFlags{bits: 1 << 2,}

const HAS_RE_INFER: TypeFlags = TypeFlags{bits: 1 << 3,}

const HAS_RE_EARLY_BOUND: TypeFlags = TypeFlags{bits: 1 << 4,}

const HAS_FREE_REGIONS: TypeFlags = TypeFlags{bits: 1 << 5,}

const HAS_TY_ERR: TypeFlags = TypeFlags{bits: 1 << 6,}

const HAS_PROJECTION: TypeFlags = TypeFlags{bits: 1 << 7,}

const HAS_TY_CLOSURE: TypeFlags = TypeFlags{bits: 1 << 8,}

const HAS_LOCAL_NAMES: TypeFlags = TypeFlags{bits: 1 << 9,}

const KEEP_IN_LOCAL_TCX: TypeFlags = TypeFlags{bits: 1 << 10,}

const NEEDS_SUBST: TypeFlags = TypeFlags{bits: TypeFlags::HAS_PARAMS.bits | TypeFlags::HAS_SELF.bits | TypeFlags::HAS_RE_EARLY_BOUND.bits,}

const NOMINAL_FLAGS: TypeFlags = TypeFlags{bits: TypeFlags::HAS_PARAMS.bits | TypeFlags::HAS_SELF.bits | TypeFlags::HAS_TY_INFER.bits | TypeFlags::HAS_RE_INFER.bits | TypeFlags::HAS_RE_EARLY_BOUND.bits | TypeFlags::HAS_FREE_REGIONS.bits | TypeFlags::HAS_TY_ERR.bits | TypeFlags::HAS_PROJECTION.bits | TypeFlags::HAS_TY_CLOSURE.bits | TypeFlags::HAS_LOCAL_NAMES.bits | TypeFlags::KEEP_IN_LOCAL_TCX.bits,}

const SIZEDNESS_CACHED: TypeFlags = TypeFlags{bits: 1 << 16,}

const IS_SIZED: TypeFlags = TypeFlags{bits: 1 << 17,}

const MOVENESS_CACHED: TypeFlags = TypeFlags{bits: 1 << 18,}

const MOVES_BY_DEFAULT: TypeFlags = TypeFlags{bits: 1 << 19,}

fn empty() -> TypeFlags

Unstable (rustc_private)

Returns an empty set of flags.

fn all() -> TypeFlags

Unstable (rustc_private)

Returns the set containing all flags.

fn bits(&self) -> u32

Unstable (rustc_private)

Returns the raw value of the flags currently stored.

fn from_bits(bits: u32) -> Option<TypeFlags>

Unstable (rustc_private)

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

fn from_bits_truncate(bits: u32) -> TypeFlags

Unstable (rustc_private)

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

fn is_empty(&self) -> bool

Unstable (rustc_private)

Returns true if no flags are currently stored.

fn is_all(&self) -> bool

Unstable (rustc_private)

Returns true if all flags are currently set.

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

Unstable (rustc_private)

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

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

Unstable (rustc_private)

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

fn insert(&mut self, other: TypeFlags)

Unstable (rustc_private)

Inserts the specified flags in-place.

fn remove(&mut self, other: TypeFlags)

Unstable (rustc_private)

Removes the specified flags in-place.

fn toggle(&mut self, other: TypeFlags)

Unstable (rustc_private)

Toggles the specified flags in-place.

Trait Implementations

impl Debug for TypeFlags

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl BitOr for TypeFlags

type Output = TypeFlags

The resulting type after applying the | operator

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

Unstable (rustc_private)

Returns the union of the two sets of flags.

impl BitXor for TypeFlags

type Output = TypeFlags

The resulting type after applying the ^ operator

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

Unstable (rustc_private)

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

impl BitAnd for TypeFlags

type Output = TypeFlags

The resulting type after applying the & operator

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

Unstable (rustc_private)

Returns the intersection between the two sets of flags.

impl Sub for TypeFlags

type Output = TypeFlags

The resulting type after applying the - operator

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

Unstable (rustc_private)

Returns the set difference of the two sets of flags.

impl Not for TypeFlags

type Output = TypeFlags

The resulting type after applying the ! operator

fn not(self) -> TypeFlags

Unstable (rustc_private)

Returns the complement of this set of flags.

Derived Implementations

impl Hash for TypeFlags

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

Feeds this value into the state given, updating the hasher as necessary.

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

Feeds a slice of this type into the state provided.

impl Ord for TypeFlags

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

This method returns an Ordering between self and other.

impl PartialOrd for TypeFlags

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

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

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

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

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

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

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

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

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

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

impl Clone for TypeFlags

fn clone(&self) -> TypeFlags

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for TypeFlags

impl PartialEq for TypeFlags

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

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

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

This method tests for !=.

impl Copy for TypeFlags