fn adt_def_id(ty: Ty<'_>) -> Option<DefId>