Type Definition rustc_middle::ty::query::query_keys::predicates_of

type predicates_of<'tcx> = DefId;