Module rustc_hir_analysis::coherence::orphan

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

Structs

• TyVarReplacer 🔒
• UncoveredTyParamCollector 🔒

Functions

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