Re-exports§
use rustc_hir::def::DefKind;🔒use rustc_infer::traits::ObligationCause;🔒use rustc_middle::ty;🔒use rustc_middle::ty::DefiningScopeKind;🔒use rustc_middle::ty::DefinitionSiteHiddenType;🔒use rustc_middle::ty::OpaqueTypeKey;🔒use rustc_middle::ty::ProvisionalHiddenType;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_span::bug;🔒use rustc_trait_selection::error_reporting::infer::need_type_info::TypeAnnotationNeeded;🔒use rustc_trait_selection::opaque_types::NonDefiningUseReason;🔒use rustc_trait_selection::opaque_types::opaque_type_has_defining_use_args;🔒use rustc_trait_selection::opaque_types::report_item_does_not_constrain_error;🔒use rustc_trait_selection::solve;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use crate::FnCtxt;🔒