Module candidate_assembly 

Candidate assembly.

The selection process begins by examining all in-scope impls, caller obligations, and so forth and assembling a list of candidates. See the rustc dev guide for more details.

Re-exports

use std::ops::ControlFlow; 🔒

use hir::def_id::DefId; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::CoroutineDesugaring; 🔒

use rustc_hir::CoroutineKind; 🔒

use rustc_infer::traits::Obligation; 🔒

use rustc_infer::traits::PolyTraitObligation; 🔒

use rustc_infer::traits::PredicateObligation; 🔒

use rustc_infer::traits::SelectionError; 🔒

use rustc_middle::ty::fast_reject::DeepRejectCtxt; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::CallerBoundsIterator; 🔒

use rustc_middle::ty::ExistentialPredicate; 🔒

use rustc_middle::ty::FieldInfo; 🔒

use rustc_middle::ty::IncludeSizedImplicitBounds; 🔒

use rustc_middle::ty::SizedTraitKind; 🔒

use rustc_middle::ty::TraitRef; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::elaborate; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use super::SelectionCandidateSet; 🔒

use super::SelectionContext; 🔒

use super::TraitObligationStack; 🔒

use crate::traits::query::evaluate_obligation::InferCtxtExt; 🔒

use crate::traits::util; 🔒

use super::SelectionCandidate::*; 🔒