Skip to main content

Module orphan

rustc_hir_analysis::coherence

Module orphan 

Source
Expand description

Orphan checker: every impl either implements a trait defined in this crate or pertains to a type defined in this crate.

Re-exports§

use rustc_data_structures::fx::FxIndexSet; 🔒
use rustc_errors::ErrorGuaranteed; 🔒
use rustc_infer::infer::DefineOpaqueTypes; 🔒
use rustc_infer::infer::InferCtxt; 🔒
use rustc_infer::infer::TyCtxtInferExt; 🔒
use rustc_lint_defs::builtin::UNCOVERED_PARAM_IN_PROJECTION; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
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::DefId; 🔒
use rustc_span::def_id::LocalDefId; 🔒
use rustc_span::bug; 🔒
use rustc_span::span_bug; 🔒
use rustc_trait_selection::traits; 🔒
use rustc_trait_selection::traits::IsFirstInputType; 🔒
use rustc_trait_selection::traits::OrphanCheckErr; 🔒
use rustc_trait_selection::traits::OrphanCheckMode; 🔒
use rustc_trait_selection::traits::UncoveredTyParams; 🔒
use tracing::debug; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use crate::diagnostics; 🔒

Structs§

UncoveredTyParamCollector 🔒

Functions§

emit_orphan_check_error 🔒
orphan_check 🔒
Checks the coherence orphan rules.
orphan_check_impl 🔒