Module rustc_hir_analysis::collect::item_bounds

Structs

• AssocTyToOpaque 🔒

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_super_predicates 🔒
• 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_assumptions 🔒
  This exists as an optimization to compute only the item bounds of the item that are not Self bounds.
• item_super_predicates 🔒
• 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.