pub trait DefId<I>:
Copy
+ Debug
+ Hash
+ Eq
+ TypeFoldable<I>where
I: Interner,{
// Required methods
fn is_local(self) -> bool;
fn as_local(self) -> Option<<I as Interner>::LocalDefId>;
}
Required Methods§
Object Safety§
This trait is not object safe.