Re-exports§
use std::ops::ControlFlow;🔒use rustc_attr_ir::lang_items::LangItem;🔒use rustc_infer::infer::InferCtxt;🔒use rustc_infer::traits::solve::CandidateSource;🔒use rustc_infer::traits::solve::GoalSource;🔒use rustc_infer::traits::solve::MaybeCause;🔒use rustc_infer::traits;🔒use rustc_infer::traits::MismatchedProjectionTypes;🔒use rustc_infer::traits::Obligation;🔒use rustc_infer::traits::ObligationCause;🔒use rustc_infer::traits::ObligationCauseCode;🔒use rustc_infer::traits::PredicateObligation;🔒use rustc_infer::traits::SelectionError;🔒use rustc_middle::traits::query::NoSolution;🔒use rustc_middle::ty::error::ExpectedFound;🔒use rustc_middle::ty::error::TypeError;🔒use rustc_middle::ty;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_next_trait_solver::solve::GoalEvaluation;🔒use rustc_next_trait_solver::solve::MaybeInfo;🔒use rustc_next_trait_solver::solve::SolverDelegateEvalExt as _;🔒use rustc_span::bug;🔒use rustc_span::span_bug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use tracing::trace;🔒use crate::solve::delegate::SolverDelegate;🔒use crate::solve::inspect;🔒use crate::solve::inspect::InferCtxtProofTreeExt;🔒use crate::solve::inspect::ProofTreeVisitor;🔒use crate::solve::Certainty;🔒use crate::solve::deeply_normalize_for_diagnostics;🔒use crate::traits::FulfillmentError;🔒use crate::traits::FulfillmentErrorCode;🔒use crate::traits::wf;🔒