Module bounds 

Re-exports

use std::ops::ControlFlow; 🔒

use rustc_attr_ir::find_attr; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_errors::struct_span_code_err; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::PolyTraitRef; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::IsSuggestable; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_middle::ty::Upcast; 🔒

use rustc_span::ErrorGuaranteed; 🔒

use rustc_span::Ident; 🔒

use rustc_span::Span; 🔒

use rustc_span::bug; 🔒

use rustc_span::kw; 🔒

use rustc_trait_selection::traits; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::diagnostics; 🔒

use crate::hir_ty_lowering::AssocItemQSelf; 🔒

use crate::hir_ty_lowering::GenericsArgsErrExtend; 🔒

use crate::hir_ty_lowering::HirTyLowerer; 🔒

use crate::hir_ty_lowering::ImpliedBoundsContext; 🔒

use crate::hir_ty_lowering::OverlappingAsssocItemConstraints; 🔒

use crate::hir_ty_lowering::PredicateFilter; 🔒

use crate::hir_ty_lowering::RegionInferReason; 🔒

use rustc_errors::codes::*; 🔒

Structs

CollectedBound 🔒

CollectedSizednessBounds 🔒

GenericParamAndBoundVarCollector 🔒

Functions

add_trait_bound 🔒

Add a trait bound for did.

check_assoc_const_binding_type 🔒

Detect and reject early-bound & escaping late-bound generic params in the type of assoc const bindings.

collect_bounds 🔒

collect_sizedness_bounds 🔒

search_bounds_for 🔒