Function rustc_query_impl::make_query::item_bounds

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

Elaborated version of the predicates from explicit_item_bounds.

For example:

trait MyTrait {
    type MyAType: Eq + ?Sized;
}

explicit_item_bounds returns [<Self as MyTrait>::MyAType: Eq], and item_bounds returns

[
    <Self as Trait>::MyAType: Eq,
    <Self as Trait>::MyAType: PartialEq<<Self as Trait>::MyAType>
]

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