Module refine 

Re-exports

use std::ops::ControlFlow; 🔒

use itertools::Itertools as _; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_infer::infer::TyCtxtInferExt; 🔒

use rustc_lint_defs::builtin::REFINING_IMPL_TRAIT_INTERNAL; 🔒

use rustc_lint_defs::builtin::REFINING_IMPL_TRAIT_REACHABLE; 🔒

use rustc_middle::traits::ObligationCause; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_types_for_signature; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeFoldable; 🔒

use rustc_middle::ty::TypeFolder; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_middle::ty::TypingMode; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_span::def_id::ModId; 🔒

use rustc_span::Span; 🔒

use rustc_span::span_bug; 🔒

use rustc_trait_selection::regions::InferCtxtRegionExt; 🔒

use rustc_trait_selection::traits::ObligationCtxt; 🔒

use rustc_trait_selection::traits::elaborate; 🔒

use rustc_trait_selection::traits::normalize_param_env_or_error; 🔒

Structs

Anonymize 🔒

CollectParams 🔒

ImplTraitInTraitCollector 🔒

Functions

check_refining_return_position_impl_trait_in_trait 🔒

Check that an implementation does not refine an RPITIT from a trait method signature.

report_mismatched_rpitit_captures 🔒

report_mismatched_rpitit_signature 🔒

type_visibility 🔒