Module item_bounds 

Re-exports

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_hir as hir; 🔒

use rustc_infer::traits::util; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::PredicateProxy; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeFolder; 🔒

use rustc_middle::ty::TypeSuperFoldable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::Upcast; 🔒

use rustc_middle::ty::shift_vars; 🔒

use rustc_span::def_id::DefId; 🔒

use rustc_span::def_id::LocalDefId; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::ItemCtxt; 🔒

use super::clauses_of::assert_only_contains_clauses_from; 🔒

use crate::hir_ty_lowering::HirTyLowerer; 🔒

use crate::hir_ty_lowering::ImpliedBoundsContext; 🔒

use crate::hir_ty_lowering::OverlappingAsssocItemConstraints; 🔒

use crate::hir_ty_lowering::PredicateFilter; 🔒

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.