pub(crate) const fn adt_dtorck_constraint<'tcx>() -> QueryStruct<'tcx>