Module coherence 

Re-exports

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use std::ops::ControlFlow; 🔒

use derive_where::derive_where; 🔒

use rustc_type_ir::lang_items::SolverAdtLangItem; 🔒

use rustc_type_ir as ty; 🔒

use rustc_type_ir::Const; 🔒

use rustc_type_ir::InferCtxtLike; 🔒

use rustc_type_ir::Interner; 🔒

use rustc_type_ir::Region; 🔒

use rustc_type_ir::TrivialTypeTraversalImpls; 🔒

use rustc_type_ir::TypeVisitable; 🔒

use rustc_type_ir::TypeVisitableExt; 🔒

use rustc_type_ir::TypeVisitor; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use rustc_type_ir::inherent::*; 🔒

Structs

OrphanChecker 🔒

UncoveredTyParams

Enums

Conflict

InCrate

Whether we do the orphan check relative to this crate or to some remote crate.

IsFirstInputType

OrphanCheckEarlyExit 🔒

OrphanCheckErr

OrphanCheckMode

Functions

orphan_check_trait_ref

Checks whether a trait-ref is potentially implementable by a crate.

trait_ref_is_knowable

Returns whether all impls which would apply to the trait_ref e.g. Ty: Trait<Arg> are already known in the local crate.

trait_ref_is_local_or_fundamental