Trait rustc_middle::ty::inherent::AdtDef

pub trait AdtDef<I>: Copy + Debug + Hash + Eq
where
    I: Interner,
{
    // Required methods
    fn def_id(self) -> <I as Interner>::DefId;
    fn is_phantom_data(self) -> bool;
    fn all_field_tys(
        self,
        interner: I,
    ) -> EarlyBinder<I, impl Iterator<Item = <I as Interner>::Ty>>;
    fn sized_constraint(
        self,
        interner: I,
    ) -> Option<EarlyBinder<I, <I as Interner>::Ty>>;
}

Required Methods

fn def_id(self) -> <I as Interner>::DefId

fn is_phantom_data(self) -> bool

fn all_field_tys( self, interner: I, ) -> EarlyBinder<I, impl Iterator<Item = <I as Interner>::Ty>>

fn sized_constraint( self, interner: I, ) -> Option<EarlyBinder<I, <I as Interner>::Ty>>

Object Safety

This trait is not object safe.

Implementors

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