pub(crate) fn adt_dtorck_constraint<'tcx>() -> DepKindStruct<'tcx>