Re-exports§
use std::fmt;🔒use rustc_infer::infer::TyCtxtInferExt;🔒use rustc_infer::infer::canonical::Canonical;🔒use rustc_infer::infer::canonical::CanonicalQueryInput;🔒use rustc_infer::infer::canonical::QueryResponse;🔒use rustc_middle::query::Providers;🔒use rustc_middle::traits::query::NoSolution;🔒use rustc_middle::ty::Clause;🔒use rustc_middle::ty::FnSig;🔒use rustc_middle::ty::ParamEnvAnd;🔒use rustc_middle::ty::PolyFnSig;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeFoldable;🔒use rustc_span::DUMMY_SP;🔒use rustc_trait_selection::infer::InferCtxtBuilderExt;🔒use rustc_trait_selection::traits::query::normalize::QueryNormalizeExt;🔒use rustc_trait_selection::traits::query::type_op::ascribe_user_type::AscribeUserType;🔒use rustc_trait_selection::traits::query::type_op::ascribe_user_type::type_op_ascribe_user_type_with_span;🔒use rustc_trait_selection::traits::query::type_op::normalize::Normalize;🔒use rustc_trait_selection::traits::query::type_op::prove_predicate::ProvePredicate;🔒use rustc_trait_selection::traits::query::type_op::prove_predicate::type_op_prove_predicate_with_cause;🔒use rustc_trait_selection::traits::Normalized;🔒use rustc_trait_selection::traits::ObligationCause;🔒use rustc_trait_selection::traits::ObligationCtxt;🔒