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.

Structs§

TyVarReplacer 🔒
UncoveredTyParamCollector 🔒

Functions§

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