Struct rustc::ty::AdtDefData
[−]
[src]
pub struct AdtDefData<'tcx, 'container: 'tcx> {
pub did: DefId,
pub variants: Vec<VariantDefData<'tcx, 'container>>,
// some fields omitted
}rustc_private)The definition of an abstract data type - a struct or enum.
These are all interned (by intern_adt_def) into the adt_defs table.
Because of the possibility of nested tcx-s, this type needs 2 lifetimes: the traditional variant lifetime ('tcx) bounding the lifetime of the inner types is of course necessary. However, it is not sufficient - types from a child tcx must not be leaked into the master tcx by being stored in an AdtDefData.
The 'container lifetime ensures that by outliving the container tcx and preventing shorter-lived types from being inserted. When write access is not needed, the 'container lifetime can be erased to 'static, which can be done by the AdtDef wrapper.
Fields
did: DefId
rustc_private)variants: Vec<VariantDefData<'tcx, 'container>>
rustc_private)Methods
impl<'a, 'gcx, 'tcx, 'container> AdtDefData<'gcx, 'container>[src]
fn adt_kind(&self) -> AdtKind
rustc_private)Returns the kind of the ADT - Struct or Enum.
fn is_dtorck(&'gcx self, tcx: TyCtxt) -> bool
rustc_private)Returns whether this is a dtorck type. If this returns true, this type being safe for destruction requires it to be alive; Otherwise, only the contents are required to be.
fn is_fundamental(&self) -> bool
rustc_private)Returns whether this type is #[fundamental] for the purposes of coherence checking.
fn is_simd(&self) -> bool
fn is_phantom_data(&self) -> bool
rustc_private)Returns true if this is PhantomData
fn has_dtor(&self) -> bool
rustc_private)Returns whether this type has a destructor.
fn struct_variant(&self) -> &VariantDefData<'gcx, 'container>
rustc_private)Asserts this is a struct and returns the struct's unique variant.
fn type_scheme(&self, tcx: TyCtxt<'a, 'gcx, 'tcx>) -> TypeScheme<'gcx>
fn predicates(&self, tcx: TyCtxt<'a, 'gcx, 'tcx>) -> GenericPredicates<'gcx>
fn all_fields(&self) -> FlatMap<Iter<VariantDefData<'gcx, 'container>>, Iter<FieldDefData<'gcx, 'container>>, fn<'s>(&'s VariantDefData<'gcx, 'container>) -> Iter<'s, FieldDefData<'gcx, 'container>>>
rustc_private)Returns an iterator over all fields contained by this ADT.
fn is_empty(&self) -> bool
fn is_univariant(&self) -> bool
fn is_payloadfree(&self) -> bool
fn variant_with_id(&self, vid: DefId) -> &VariantDefData<'gcx, 'container>
fn variant_index_with_id(&self, vid: DefId) -> usize
fn variant_of_def(&self, def: Def) -> &VariantDefData<'gcx, 'container>
fn destructor(&self) -> Option<DefId>
fn set_destructor(&self, dtor: DefId)
fn dtor_kind(&self) -> DtorKind
impl<'a, 'gcx, 'tcx, 'container> AdtDefData<'tcx, 'container>[src]
fn sized_constraint(&self, tcx: TyCtxt<'a, 'gcx, 'tcx>) -> Ty<'tcx>
rustc_private)Returns a simpler type such that Self: Sized if and only
if that type is Sized, or TyErr if this type is recursive.
HACK: instead of returning a list of types, this function can return a tuple. In that case, the result is Sized only if all elements of the tuple are Sized.
This is generally the struct_tail if this is a struct, or a
tuple of them if this is an enum.
Oddly enough, checking that the sized-constraint is Sized is actually more expressive than checking all members: the Sized trait is inductive, so an associated type that references Self would prevent its containing ADT from being Sized.
Due to normalization being eager, this applies even if the associated type is behind a pointer, e.g. issue #31299.
Trait Implementations
impl<'tcx, 'container> PartialEq for AdtDefData<'tcx, 'container>[src]
fn eq(&self, other: &Self) -> bool
This method tests for self and other values to be equal, and is used by ==. Read more
fn ne(&self, other: &Rhs) -> bool1.0.0
This method tests for !=.
impl<'tcx, 'container> Eq for AdtDefData<'tcx, 'container>[src]
impl<'tcx, 'container> Hash for AdtDefData<'tcx, 'container>[src]
fn hash<H: Hasher>(&self, s: &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: Hasher1.3.0
Feeds a slice of this type into the state provided.