raghu@dark-factory :~/kb/orphan-rule $ cat

Orphan rule (trait coherence)

Rust's coherence constraint permitting a trait implementation only when either the trait or the type is local to the crate, guaranteeing a single canonical impl exists globally.

grounded in: Trends theme 'Rust's design patterns spilling into other tools'; the existing newtype-pattern concept exists specifically to work around this rule, so the graph already references it implicitly.

Connected concepts

Trait-based polymorphism, Newtype pattern, Zero-cost abstractions

Explore it live in the knowledge graph →