Ixrec / rust-orphan-rules

An unofficial, experimental place for documenting and gathering feedback on the design problems around Rust's orphan rules

Ixrec/rust-orphan-rules Issues

"Official Orphans"
Updated 6 months ago5
A fundamental assumption of this repo is false
Updated a year ago
Prior Art
Updated a year ago4
A Brief History of Rust's Orphan Rules
Updated 3 years ago2
Newtypes are sometimes tedious, fragile, etc to implement
Updated 3 years ago4
Coherent explicit dictionary application for Haskell
Updated 4 years ago
How much would (stable) specialization help?
Updated 4 years ago3
Generic From impl for newtypes
Updated 5 years ago2
Allow derive-generated orphan impls for traits with an "official" `#[derive(...)]`
Updated 5 years ago1
From's orphan rules being asymmetric is annoying
Updated 5 years ago1
How much would delegation help?
Updated 5 years ago1
Deref implementation for newtypes
Updated 6 years ago1
Incorrect description of Coherence
Updated 6 years ago5
Use different orphan rules for different traits
Updated 6 years ago1
Allow trait/type-providing crates to "bless" other crates for orphan impling
Updated 6 years ago1
The precise statement of the orphan rules
Closed 6 years ago1
Allow "orphan impl-only" crates that must be directly chosen by the root crate
Updated 6 years ago
Named impls
Updated 6 years ago
Allow "local" orphan impls that only affect behavior within your own crate
Updated 6 years ago1
Embrace Incoherence
Updated 6 years ago
Are newtypes always an option?
Updated 6 years ago
"Core" traits could not have orphan impls, even without the orphan rules
Updated 6 years ago