pub trait AdtDef<I>: Copy + Debug + Hash + Eqwhere I: Interner,{ // Required method fn def_id(self) -> <I as Interner>::DefId; }