Struct rustc_middle::ty::adt::AdtDef

source ·
pub struct AdtDef<'tcx>(pub Interned<'tcx, AdtDefData>);

Tuple Fields§

§0: Interned<'tcx, AdtDefData>

Implementations§

source§

impl<'tcx> AdtDef<'tcx>

source

pub fn did(self) -> DefId

source

pub fn variants(self) -> &'tcx IndexSlice<VariantIdx, VariantDef>

source

pub fn variant(self, idx: VariantIdx) -> &'tcx VariantDef

source

pub fn flags(self) -> AdtFlags

source

pub fn repr(self) -> ReprOptions

source§

impl<'tcx> AdtDef<'tcx>

source

pub fn is_struct(self) -> bool

Returns true if this is a struct.

source

pub fn is_union(self) -> bool

Returns true if this is a union.

source

pub fn is_enum(self) -> bool

Returns true if this is an enum.

source

pub fn is_variant_list_non_exhaustive(self) -> bool

Returns true if the variant list of this ADT is #[non_exhaustive].

source

pub fn adt_kind(self) -> AdtKind

Returns the kind of the ADT.

source

pub fn descr(self) -> &'static str

Returns a description of this abstract data type.

source

pub fn variant_descr(self) -> &'static str

Returns a description of a variant of this abstract data type.

source

pub fn has_ctor(self) -> bool

If this function returns true, it implies that is_struct must return true.

source

pub fn is_fundamental(self) -> bool

Returns true if this type is #[fundamental] for the purposes of coherence checking.

source

pub fn is_phantom_data(self) -> bool

Returns true if this is PhantomData<T>.

source

pub fn is_box(self) -> bool

Returns true if this is Box<T>.

source

pub fn is_unsafe_cell(self) -> bool

Returns true if this is UnsafeCell<T>.

source

pub fn is_manually_drop(self) -> bool

Returns true if this is ManuallyDrop<T>.

source

pub fn has_dtor(self, tcx: TyCtxt<'tcx>) -> bool

Returns true if this type has a destructor.

source

pub fn has_non_const_dtor(self, tcx: TyCtxt<'tcx>) -> bool

source

pub fn non_enum_variant(self) -> &'tcx VariantDef

Asserts this is a struct or union and returns its unique variant.

source

pub fn predicates(self, tcx: TyCtxt<'tcx>) -> GenericPredicates<'tcx>

source

pub fn all_fields(self) -> impl Iterator<Item = &'tcx FieldDef> + Clone

Returns an iterator over all fields contained by this ADT.

source

pub fn is_payloadfree(self) -> bool

Whether the ADT lacks fields. Note that this includes uninhabited enums, e.g., enum Void {} is considered payload free as well.

source

pub fn variant_with_id(self, vid: DefId) -> &'tcx VariantDef

Return a VariantDef given a variant id.

source

pub fn variant_with_ctor_id(self, cid: DefId) -> &'tcx VariantDef

Return a VariantDef given a constructor id.

source

pub fn variant_index_with_id(self, vid: DefId) -> VariantIdx

Return the index of VariantDef given a variant id.

source

pub fn variant_index_with_ctor_id(self, cid: DefId) -> VariantIdx

Return the index of VariantDef given a constructor id.

source

pub fn variant_of_res(self, res: Res) -> &'tcx VariantDef

source

pub fn eval_explicit_discr( self, tcx: TyCtxt<'tcx>, expr_did: DefId ) -> Option<Discr<'tcx>>

source

pub fn discriminants( self, tcx: TyCtxt<'tcx> ) -> impl Iterator<Item = (VariantIdx, Discr<'tcx>)> + Captures<'tcx>

source

pub fn variant_range(self) -> Range<VariantIdx>

source

pub fn discriminant_for_variant( self, tcx: TyCtxt<'tcx>, variant_index: VariantIdx ) -> Discr<'tcx>

Computes the discriminant value used by a specific variant. Unlike discriminants, this is (amortized) constant-time, only doing at most one query for evaluating an explicit discriminant (the last one before the requested variant), assuming there are no constant-evaluation errors there.

source

pub fn discriminant_def_for_variant( self, variant_index: VariantIdx ) -> (Option<DefId>, u32)

Yields a DefId for the discriminant and an offset to add to it Alternatively, if there is no explicit discriminant, returns the inferred discriminant directly.

source

pub fn destructor(self, tcx: TyCtxt<'tcx>) -> Option<Destructor>

source

pub fn sized_constraint( self, tcx: TyCtxt<'tcx> ) -> EarlyBinder<&'tcx List<Ty<'tcx>>>

Returns a list of types such that Self: Sized if and only if that type is Sized, or ty::Error if this type has a recursive layout.

Trait Implementations§

source§

impl<'tcx> Clone for AdtDef<'tcx>

source§

fn clone(&self) -> AdtDef<'tcx>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<'tcx> Debug for AdtDef<'tcx>

source§

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

Formats the value using the given formatter. Read more
source§

impl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<D> for AdtDef<'tcx>

source§

fn decode(decoder: &mut D) -> Self

source§

impl<'tcx, E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<E> for AdtDef<'tcx>

source§

fn encode(&self, e: &mut E)

source§

impl<'tcx> EraseType for AdtDef<'tcx>

§

type Result = [u8; 8]

source§

impl<'tcx> Hash for AdtDef<'tcx>

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for AdtDef<'tcx>

source§

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher )

source§

impl<'tcx> Ord for AdtDef<'tcx>

source§

fn cmp(&self, other: &AdtDef<'tcx>) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · source§

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · source§

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval. Read more
source§

impl<'tcx> PartialEq<AdtDef<'tcx>> for AdtDef<'tcx>

source§

fn eq(&self, other: &AdtDef<'tcx>) -> bool

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<'tcx> PartialOrd<AdtDef<'tcx>> for AdtDef<'tcx>

source§

fn partial_cmp(&self, other: &AdtDef<'tcx>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

This method tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

This method tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

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

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for AdtDef<'tcx>

source§

fn visit_with<V: TypeVisitor<TyCtxt<'tcx>>>( &self, _visitor: &mut V ) -> ControlFlow<V::BreakTy>

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v). Read more
source§

impl<'tcx> Copy for AdtDef<'tcx>

source§

impl<'tcx> Eq for AdtDef<'tcx>

source§

impl<'tcx> StructuralEq for AdtDef<'tcx>

source§

impl<'tcx> StructuralPartialEq for AdtDef<'tcx>

Auto Trait Implementations§

§

impl<'tcx> RefUnwindSafe for AdtDef<'tcx>

§

impl<'tcx> Send for AdtDef<'tcx>

§

impl<'tcx> Sync for AdtDef<'tcx>

§

impl<'tcx> Unpin for AdtDef<'tcx>

§

impl<'tcx> UnwindSafe for AdtDef<'tcx>

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

source§

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

source§

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]

source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T, R> CollectAndApply<T, R> for T

source§

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

§

type Output = R

source§

impl<Tcx, T> DepNodeParams<Tcx> for Twhere Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

source§

default fn fingerprint_style() -> FingerprintStyle

source§

default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint

This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous).
source§

default fn to_debug_str(&self, _: Tcx) -> String

source§

default fn recover(_: Tcx, _: &DepNode) -> Option<T>

This method tries to recover the query key from the given DepNode, something which is needed when forcing DepNodes 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<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<P> IntoQueryParam<P> for P

source§

impl<T> MaybeResult<T> for T

§

type Error = !

source§

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source§

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<'tcx, T> ToPredicate<'tcx, T> for T

source§

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<'tcx, T> TypeVisitableExt<'tcx> for Twhere T: TypeVisitable<TyCtxt<'tcx>>,

source§

fn has_vars_bound_at_or_above(&self, binder: DebruijnIndex) -> bool

Returns true if self has any late-bound regions that are either bound by binder or bound by some binder outside of binder. If binder is ty::INNERMOST, this indicates whether there are any late-bound regions that appear free.
source§

fn has_vars_bound_above(&self, binder: DebruijnIndex) -> bool

Returns true if this type has any regions that escape binder (and hence are not bound by it).
source§

fn has_escaping_bound_vars(&self) -> bool

Return true if this type has regions that are not a part of the type. For example, for<'a> fn(&'a i32) return false, while fn(&'a i32) would return true. The latter can occur when traversing through the former. Read more
source§

fn has_type_flags(&self, flags: TypeFlags) -> bool

source§

fn has_projections(&self) -> bool

source§

fn has_inherent_projections(&self) -> bool

source§

fn has_opaque_types(&self) -> bool

source§

fn has_generators(&self) -> bool

source§

fn references_error(&self) -> bool

source§

fn error_reported(&self) -> Result<(), ErrorGuaranteed>

source§

fn has_non_region_param(&self) -> bool

source§

fn has_infer_regions(&self) -> bool

source§

fn has_infer_types(&self) -> bool

source§

fn has_non_region_infer(&self) -> bool

source§

fn has_infer(&self) -> bool

source§

fn has_placeholders(&self) -> bool

source§

fn has_non_region_placeholders(&self) -> bool

source§

fn has_param(&self) -> bool

source§

fn has_free_regions(&self) -> bool

“Free” regions in this context means that it has any region that is not (a) erased or (b) late-bound.
source§

fn has_erased_regions(&self) -> bool

source§

fn has_erasable_regions(&self) -> bool

True if there are any un-erased free regions.
source§

fn is_global(&self) -> bool

Indicates whether this value references only ‘global’ generic parameters that are the same regardless of what fn we are in. This is used for caching.
source§

fn has_late_bound_regions(&self) -> bool

True if there are any late-bound regions
source§

fn has_non_region_late_bound(&self) -> bool

True if there are any late-bound non-region variables
source§

fn has_late_bound_vars(&self) -> bool

True if there are any late-bound variables
source§

fn still_further_specializable(&self) -> bool

Indicates whether this value still has parameters/placeholders/inference variables which could be replaced later, in a way that would change the results of impl specialization.
source§

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

source§

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: 8 bytes