Struct rustc_middle::ty::VariantFlags
source · pub struct VariantFlags {
bits: u8,
}
Fields§
§bits: u8
Implementations§
source§impl VariantFlags
impl VariantFlags
pub const NO_VARIANT_FLAGS: Self = _
sourcepub const IS_FIELD_LIST_NON_EXHAUSTIVE: Self = _
pub const IS_FIELD_LIST_NON_EXHAUSTIVE: Self = _
Indicates whether the field list of this variant is #[non_exhaustive]
.
sourcepub const IS_RECOVERED: Self = _
pub const IS_RECOVERED: Self = _
Indicates whether this variant was obtained as part of recovering from a syntactic error. May be incomplete or bogus.
sourcepub const fn from_bits(bits: u8) -> Option<Self>
pub const fn from_bits(bits: u8) -> Option<Self>
Convert from underlying bit representation, unless that representation contains bits that do not correspond to a flag.
sourcepub const fn from_bits_truncate(bits: u8) -> Self
pub const fn from_bits_truncate(bits: u8) -> Self
Convert from underlying bit representation, dropping any bits that do not correspond to flags.
sourcepub const unsafe fn from_bits_unchecked(bits: u8) -> Self
pub const unsafe fn from_bits_unchecked(bits: u8) -> Self
Convert from underlying bit representation, preserving all bits (even those not corresponding to a defined flag).
Safety
The caller of the bitflags!
macro can chose to allow or
disallow extra bits for their bitflags type.
The caller of from_bits_unchecked()
has to ensure that
all bits correspond to a defined flag or that extra bits
are valid for this bitflags type.
sourcepub const fn intersects(&self, other: Self) -> bool
pub const fn intersects(&self, other: Self) -> bool
Returns true
if there are flags common to both self
and other
.
sourcepub const fn contains(&self, other: Self) -> bool
pub const fn contains(&self, other: Self) -> bool
Returns true
if all of the flags in other
are contained within self
.
sourcepub fn set(&mut self, other: Self, value: bool)
pub fn set(&mut self, other: Self, value: bool)
Inserts or removes the specified flags depending on the passed value.
sourcepub const fn intersection(self, other: Self) -> Self
pub const fn intersection(self, other: Self) -> Self
Returns the intersection between the flags in self
and
other
.
Specifically, the returned set contains only the flags which are
present in both self
and other
.
This is equivalent to using the &
operator (e.g.
ops::BitAnd
), as in flags & other
.
sourcepub const fn union(self, other: Self) -> Self
pub const fn union(self, other: Self) -> Self
Returns the union of between the flags in self
and other
.
Specifically, the returned set contains all flags which are
present in either self
or other
, including any which are
present in both (see Self::symmetric_difference
if that
is undesirable).
This is equivalent to using the |
operator (e.g.
ops::BitOr
), as in flags | other
.
sourcepub const fn difference(self, other: Self) -> Self
pub const fn difference(self, other: Self) -> Self
Returns the difference between the flags in self
and other
.
Specifically, the returned set contains all flags present in
self
, except for the ones present in other
.
It is also conceptually equivalent to the “bit-clear” operation:
flags & !other
(and this syntax is also supported).
This is equivalent to using the -
operator (e.g.
ops::Sub
), as in flags - other
.
sourcepub const fn symmetric_difference(self, other: Self) -> Self
pub const fn symmetric_difference(self, other: Self) -> Self
Returns the symmetric difference between the flags
in self
and other
.
Specifically, the returned set contains the flags present which
are present in self
or other
, but that are not present in
both. Equivalently, it contains the flags present in exactly
one of the sets self
and other
.
This is equivalent to using the ^
operator (e.g.
ops::BitXor
), as in flags ^ other
.
sourcepub const fn complement(self) -> Self
pub const fn complement(self) -> Self
Returns the complement of this set of flags.
Specifically, the returned set contains all the flags which are
not set in self
, but which are allowed for this type.
Alternatively, it can be thought of as the set difference
between Self::all()
and self
(e.g. Self::all() - self
)
This is equivalent to using the !
operator (e.g.
ops::Not
), as in !flags
.
Trait Implementations§
source§impl Binary for VariantFlags
impl Binary for VariantFlags
source§impl BitAnd<VariantFlags> for VariantFlags
impl BitAnd<VariantFlags> for VariantFlags
source§impl BitAndAssign<VariantFlags> for VariantFlags
impl BitAndAssign<VariantFlags> for VariantFlags
source§fn bitand_assign(&mut self, other: Self)
fn bitand_assign(&mut self, other: Self)
Disables all flags disabled in the set.
source§impl BitOr<VariantFlags> for VariantFlags
impl BitOr<VariantFlags> for VariantFlags
source§fn bitor(self, other: VariantFlags) -> Self
fn bitor(self, other: VariantFlags) -> Self
Returns the union of the two sets of flags.
§type Output = VariantFlags
type Output = VariantFlags
|
operator.source§impl BitOrAssign<VariantFlags> for VariantFlags
impl BitOrAssign<VariantFlags> for VariantFlags
source§fn bitor_assign(&mut self, other: Self)
fn bitor_assign(&mut self, other: Self)
Adds the set of flags.
source§impl BitXor<VariantFlags> for VariantFlags
impl BitXor<VariantFlags> for VariantFlags
source§impl BitXorAssign<VariantFlags> for VariantFlags
impl BitXorAssign<VariantFlags> for VariantFlags
source§fn bitxor_assign(&mut self, other: Self)
fn bitxor_assign(&mut self, other: Self)
Toggles the set of flags.
source§impl Clone for VariantFlags
impl Clone for VariantFlags
source§fn clone(&self) -> VariantFlags
fn clone(&self) -> VariantFlags
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for VariantFlags
impl Debug for VariantFlags
source§impl Extend<VariantFlags> for VariantFlags
impl Extend<VariantFlags> for VariantFlags
source§fn extend<T: IntoIterator<Item = Self>>(&mut self, iterator: T)
fn extend<T: IntoIterator<Item = Self>>(&mut self, iterator: T)
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 FromIterator<VariantFlags> for VariantFlags
impl FromIterator<VariantFlags> for VariantFlags
source§fn from_iter<T: IntoIterator<Item = Self>>(iterator: T) -> Self
fn from_iter<T: IntoIterator<Item = Self>>(iterator: T) -> Self
source§impl Hash for VariantFlags
impl Hash for VariantFlags
source§impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for VariantFlags
impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for VariantFlags
fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher )
source§impl LowerHex for VariantFlags
impl LowerHex for VariantFlags
source§impl Not for VariantFlags
impl Not for VariantFlags
source§impl Octal for VariantFlags
impl Octal for VariantFlags
source§impl Ord for VariantFlags
impl Ord for VariantFlags
source§fn cmp(&self, other: &VariantFlags) -> Ordering
fn cmp(&self, other: &VariantFlags) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
source§impl PartialEq<VariantFlags> for VariantFlags
impl PartialEq<VariantFlags> for VariantFlags
source§fn eq(&self, other: &VariantFlags) -> bool
fn eq(&self, other: &VariantFlags) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd<VariantFlags> for VariantFlags
impl PartialOrd<VariantFlags> for VariantFlags
source§fn partial_cmp(&self, other: &VariantFlags) -> Option<Ordering>
fn partial_cmp(&self, other: &VariantFlags) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl Sub<VariantFlags> for VariantFlags
impl Sub<VariantFlags> for VariantFlags
source§impl SubAssign<VariantFlags> for VariantFlags
impl SubAssign<VariantFlags> for VariantFlags
source§fn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
Disables all flags enabled in the set.
source§impl UpperHex for VariantFlags
impl UpperHex for VariantFlags
impl Copy for VariantFlags
impl Eq for VariantFlags
impl StructuralEq for VariantFlags
impl StructuralPartialEq for VariantFlags
Auto Trait Implementations§
impl RefUnwindSafe for VariantFlags
impl Send for VariantFlags
impl Sync for VariantFlags
impl Unpin for VariantFlags
impl UnwindSafe for VariantFlags
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<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a 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, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<Tcx, T> DepNodeParams<Tcx> for Twhere
Tcx: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
impl<Tcx, T> DepNodeParams<Tcx> for Twhere Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
default fn fingerprint_style() -> FingerprintStyle
source§default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint
default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint
default fn to_debug_str(&self, _: Tcx) -> String
source§default fn recover(_: Tcx, _: &DepNode) -> Option<T>
default fn recover(_: Tcx, _: &DepNode) -> Option<T>
DepNode
,
something which is needed when forcing DepNode
s during red-green
evaluation. The query system will only call this method if
fingerprint_style()
is not FingerprintStyle::Opaque
.
It is always valid to return None
here, in which case incremental
compilation will treat the query as having changed instead of forcing it.source§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<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> 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: &[QueryInfo], _guar: ErrorGuaranteed ) -> 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: 1 byte