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