Module item_bounds

Source

StructsΒ§

AssocTyToOpaque πŸ”’
MapAndCompressBoundVars πŸ”’
Given some where clause like for<'b, 'c> <Self as Trait<'a_identity>>::Gat<'b>: Bound<'c>, the mapping will map 'b back to the GAT’s 'b_identity. Then we need to compress the remaining bound var 'c to index 0.

FunctionsΒ§

associated_type_bounds πŸ”’
For associated types we include both bounds written on the type (type X: Trait) and predicates from the trait: where Self::X: Trait.
explicit_item_bounds πŸ”’
explicit_item_bounds_with_filter πŸ”’
explicit_item_self_bounds πŸ”’
impl_super_outlives πŸ”’
This exists as an optimization to compute only the supertraits of this impl’s trait that are outlives bounds.
item_bounds πŸ”’
item_non_self_bounds πŸ”’
This exists as an optimization to compute only the item bounds of the item that are not Self bounds.
item_self_bounds πŸ”’
opaque_type_bounds πŸ”’
Opaque types don’t inherit bounds from their parent: for return position impl trait it isn’t possible to write a suitable predicate on the containing function and for type-alias impl trait we don’t have a backwards compatibility issue.
remap_gat_vars_and_recurse_into_nested_projections πŸ”’
The code below is quite involved, so let me explain.