Struct rustc_middle::ty::VariantFlags
source · pub struct VariantFlags {
bits: u32,
}
Fields
bits: u32
Implementations
sourceimpl 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: u32) -> Option<Self>
pub const fn from_bits(bits: u32) -> 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: u32) -> Self
pub const fn from_bits_truncate(bits: u32) -> Self
Convert from underlying bit representation, dropping any bits that do not correspond to flags.
sourcepub const unsafe fn from_bits_unchecked(bits: u32) -> Self
pub const unsafe fn from_bits_unchecked(bits: u32) -> 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
sourceimpl Binary for VariantFlags
impl Binary for VariantFlags
sourceimpl BitAnd<VariantFlags> for VariantFlags
impl BitAnd<VariantFlags> for VariantFlags
type Output = VariantFlags
type Output = VariantFlags
&
operator.sourceimpl BitAndAssign<VariantFlags> for VariantFlags
impl BitAndAssign<VariantFlags> for VariantFlags
sourcefn bitand_assign(&mut self, other: Self)
fn bitand_assign(&mut self, other: Self)
Disables all flags disabled in the set.
sourceimpl BitOr<VariantFlags> for VariantFlags
impl BitOr<VariantFlags> for VariantFlags
sourcefn 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.sourceimpl BitOrAssign<VariantFlags> for VariantFlags
impl BitOrAssign<VariantFlags> for VariantFlags
sourcefn bitor_assign(&mut self, other: Self)
fn bitor_assign(&mut self, other: Self)
Adds the set of flags.
sourceimpl BitXor<VariantFlags> for VariantFlags
impl BitXor<VariantFlags> for VariantFlags
sourcefn bitxor(self, other: Self) -> Self
fn bitxor(self, other: Self) -> Self
Returns the left flags, but with all the right flags toggled.
type Output = VariantFlags
type Output = VariantFlags
^
operator.sourceimpl BitXorAssign<VariantFlags> for VariantFlags
impl BitXorAssign<VariantFlags> for VariantFlags
sourcefn bitxor_assign(&mut self, other: Self)
fn bitxor_assign(&mut self, other: Self)
Toggles the set of flags.
sourceimpl Clone for VariantFlags
impl Clone for VariantFlags
sourcefn clone(&self) -> VariantFlags
fn clone(&self) -> VariantFlags
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresourceimpl Debug for VariantFlags
impl Debug for VariantFlags
sourceimpl<'tcx, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for VariantFlags
impl<'tcx, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for VariantFlags
sourceimpl<'tcx, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for VariantFlags
impl<'tcx, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for VariantFlags
sourceimpl Extend<VariantFlags> for VariantFlags
impl Extend<VariantFlags> for VariantFlags
sourcefn extend<T: IntoIterator<Item = Self>>(&mut self, iterator: T)
fn extend<T: IntoIterator<Item = Self>>(&mut self, iterator: T)
sourcefn extend_one(&mut self, item: A)
fn extend_one(&mut self, item: A)
extend_one
)sourcefn extend_reserve(&mut self, additional: usize)
fn extend_reserve(&mut self, additional: usize)
extend_one
)sourceimpl FromIterator<VariantFlags> for VariantFlags
impl FromIterator<VariantFlags> for VariantFlags
sourcefn from_iter<T: IntoIterator<Item = Self>>(iterator: T) -> Self
fn from_iter<T: IntoIterator<Item = Self>>(iterator: T) -> Self
sourceimpl Hash for VariantFlags
impl Hash for VariantFlags
sourceimpl<'__ctx> HashStable<StableHashingContext<'__ctx>> for VariantFlags
impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for VariantFlags
fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
sourceimpl LowerHex for VariantFlags
impl LowerHex for VariantFlags
sourceimpl Not for VariantFlags
impl Not for VariantFlags
type Output = VariantFlags
type Output = VariantFlags
!
operator.sourceimpl Octal for VariantFlags
impl Octal for VariantFlags
sourceimpl Ord for VariantFlags
impl Ord for VariantFlags
sourcefn cmp(&self, other: &VariantFlags) -> Ordering
fn cmp(&self, other: &VariantFlags) -> Ordering
1.21.0 · sourcefn max(self, other: Self) -> Self
fn max(self, other: Self) -> Self
1.21.0 · sourcefn min(self, other: Self) -> Self
fn min(self, other: Self) -> Self
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Selfwhere
Self: PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Selfwhere
Self: PartialOrd<Self>,
sourceimpl PartialEq<VariantFlags> for VariantFlags
impl PartialEq<VariantFlags> for VariantFlags
sourcefn eq(&self, other: &VariantFlags) -> bool
fn eq(&self, other: &VariantFlags) -> bool
sourceimpl PartialOrd<VariantFlags> for VariantFlags
impl PartialOrd<VariantFlags> for VariantFlags
sourcefn partial_cmp(&self, other: &VariantFlags) -> Option<Ordering>
fn partial_cmp(&self, other: &VariantFlags) -> Option<Ordering>
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresourceimpl Sub<VariantFlags> for VariantFlags
impl Sub<VariantFlags> for VariantFlags
type Output = VariantFlags
type Output = VariantFlags
-
operator.sourceimpl SubAssign<VariantFlags> for VariantFlags
impl SubAssign<VariantFlags> for VariantFlags
sourcefn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
Disables all flags enabled in the set.
sourceimpl 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
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
sourceimpl<Ctxt, T> DepNodeParams<Ctxt> for Twhere
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
impl<Ctxt, T> DepNodeParams<Ctxt> for Twhere
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
default fn fingerprint_style() -> FingerprintStyle
sourcedefault fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
default fn to_debug_str(&self, Ctxt) -> String
sourcedefault fn recover(Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> Option<T>
default fn recover(Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> 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. Read moresourceimpl<T, R> InternIteratorElement<T, R> for T
impl<T, R> InternIteratorElement<T, R> for T
type Output = R
fn intern_with<I, F>(iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Outputwhere
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
sourceimpl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
impl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
default fn from_cycle_error(tcx: CTX) -> T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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