Function rustc_query_impl::make_query::super_predicates_of

pub fn super_predicates_of<'tcx>(
    tcx: QueryCtxt<'tcx>, 
    key: super_predicates_of<'tcx>
) -> QueryStackFrame

Maps from the DefId of a trait to the list of super-predicates. This is a subset of the full list of predicates. We store these in a separate map because we must evaluate them even during type conversion, often before the full predicates are available (note that supertraits have additional acyclicity requirements).