@bascule ("Spooky RFC5280 Section 4.1.2.7 (SPKI) 🎃👻🦀🌹") wrote:
Rust now supports coherence checks for negative trait impls.
This is mainly notable as a resolved blocker for moving the `Error` trait into libcore 🎉
Thanks @spastorino!
https://github.com/rust-lang/rust/pull/90104