Type Definition rustc_middle::ty::query::query_keys::explicit_predicates_of

type explicit_predicates_of<'tcx> = DefId;