Module confirmation 

Confirmation.

Confirmation unifies the output type parameters of the trait with the values found in the obligation, possibly yielding a type error. See the rustc dev guide for more details.

Re-exports

use std::ops::ControlFlow; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_infer::infer::BoundRegionConversionTime; 🔒

use rustc_infer::infer::DefineOpaqueTypes; 🔒

use rustc_infer::infer::InferOk; 🔒

use rustc_infer::traits::ObligationCauseCode; 🔒

use rustc_middle::traits::BuiltinImplSource; 🔒

use rustc_middle::traits::SignatureMismatchData; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::SizedTraitKind; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_middle::ty::Upcast; 🔒

use rustc_next_trait_solver::solve::flatten_answer_tree; 🔒

use rustc_span::def_id::DefId; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use thin_vec::thin_vec; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::SelectionCandidate; 🔒

use super::PredicateObligations; 🔒

use super::SelectionContext; 🔒

use crate::traits::normalize::normalize_with_depth; 🔒

use crate::traits::normalize::normalize_with_depth_to; 🔒

use crate::traits::util; 🔒

use crate::traits::util::closure_trait_ref_and_return_type; 🔒

use crate::traits::ImplSource; 🔒

use crate::traits::ImplSourceUserDefinedData; 🔒

use crate::traits::Normalized; 🔒

use crate::traits::Obligation; 🔒

use crate::traits::ObligationCause; 🔒

use crate::traits::PolyTraitObligation; 🔒

use crate::traits::PredicateObligation; 🔒

use crate::traits::Selection; 🔒

use crate::traits::SelectionError; 🔒

use crate::traits::TraitObligation; 🔒

use super::SelectionCandidate::*; 🔒