Type Definition rustc_middle::ty::query::query_keys::super_predicates_of

type super_predicates_of<'tcx> = DefId;