Trait AdtDef

Source

pub trait AdtDef<I: Interner>:
    Copy
    + Debug
    + Hash
    + Eq {
    // Required methods
    fn def_id(self) -> I::AdtId;
    fn is_struct(self) -> bool;
    fn struct_tail_ty(self, interner: I) -> Option<EarlyBinder<I, I::Ty>>;
    fn is_phantom_data(self) -> bool;
    fn is_manually_drop(self) -> bool;
    fn all_field_tys(
        self,
        interner: I,
    ) -> EarlyBinder<I, impl IntoIterator<Item = I::Ty>>;
    fn sizedness_constraint(
        self,
        interner: I,
        sizedness: SizedTraitKind,
    ) -> Option<EarlyBinder<I, I::Ty>>;
    fn is_fundamental(self) -> bool;
    fn destructor(self, interner: I) -> Option<AdtDestructorKind>;
}