pub trait AdtDef<I>:
Copy
+ Debug
+ Hash
+ Eqwhere
I: Interner,{
// Required methods
fn def_id(self) -> <I as Interner>::DefId;
fn is_struct(self) -> bool;
fn struct_tail_ty(
self,
interner: I,
) -> Option<EarlyBinder<I, <I as Interner>::Ty>>;
fn is_phantom_data(self) -> bool;
fn all_field_tys(
self,
interner: I,
) -> EarlyBinder<I, impl IntoIterator<Item = <I as Interner>::Ty>>;
fn sized_constraint(
self,
interner: I,
) -> Option<EarlyBinder<I, <I as Interner>::Ty>>;
fn is_fundamental(self) -> bool;
}
Required Methods§
fn def_id(self) -> <I as Interner>::DefId
fn is_struct(self) -> bool
sourcefn struct_tail_ty(
self,
interner: I,
) -> Option<EarlyBinder<I, <I as Interner>::Ty>>
fn struct_tail_ty( self, interner: I, ) -> Option<EarlyBinder<I, <I as Interner>::Ty>>
Returns the type of the struct tail.
Expects the AdtDef
to be a struct. If it is not, then this will panic.
fn is_phantom_data(self) -> bool
fn all_field_tys( self, interner: I, ) -> EarlyBinder<I, impl IntoIterator<Item = <I as Interner>::Ty>>
fn sized_constraint( self, interner: I, ) -> Option<EarlyBinder<I, <I as Interner>::Ty>>
fn is_fundamental(self) -> bool
Object Safety§
This trait is not object safe.