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