Struct Adt 

pub struct Adt<'tcx> {
    def_id: DefId,
    self_ty: Ty<'tcx>,
    param_env: ParamEnv<'tcx>,
    adt_kind: AdtKind,
    variants: IndexVec<VariantIdx, VariantDef<'tcx>>,
    repr: ReprOptions<'tcx>,
    destruct_impl: OnceCell<Box<VirtualTraitImpl<'tcx>>>,
}

ADts (Struct, Enum and Union map to this).

Fields

def_id: DefId

self_ty: Ty<'tcx>

The (instantiated) type of this adt.

param_env: ParamEnv<'tcx>

adt_kind: AdtKind

variants: IndexVec<VariantIdx, VariantDef<'tcx>>

repr: ReprOptions<'tcx>

destruct_impl: OnceCell<Box<VirtualTraitImpl<'tcx>>>

Info required to construct a virtual Drop impl for this adt. Computed on demand, see Adt::destruct_impl.

Implementations

impl<'tcx> Adt<'tcx>

pub fn param_env(&self) -> &ParamEnv<'tcx>

pub fn adt_kind(&self) -> AdtKind

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

pub fn repr(&self) -> &ReprOptions<'tcx>

pub fn destruct_impl(&self, s: &impl BaseState<'tcx>) -> &VirtualTraitImpl<'tcx>

Info required to construct a virtual Drop impl for this adt.

Trait Implementations

impl<'tcx> Clone for Adt<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Adt<'tcx>

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

Formats the value using the given formatter.