Function rustc_query_impl::make_query::explicit_item_bounds

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

Returns the list of bounds that can be used for SelectionCandidate::ProjectionCandidate(_) and ProjectionTyCandidate::TraitDef. Specifically this is the bounds written on the trait’s type definition, or those after the impl keyword

type X: Bound + 'lt
//      ^^^^^^^^^^^
impl Debug + Display
//   ^^^^^^^^^^^^^^^

key is the DefId of the associated type or opaque type.

Bounds from the parent (e.g. with nested impl trait) are not included.