Type Definition adt_dtorck_constraint
rustc_middle::ty::query::query_keys
type adt_dtorck_constraint<'tcx> = DefId;