search

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
95 stars 19 forks source link

Tracking issue for negative impls #73

Open jackh726 opened 1 year ago

compiler-errors commented 9 months ago

Update:

Not much has updated on negative impls themselves.

Core now uses the new trait solver for negative coherence. It's a very cool algorithm.

We have experimental support for negative trait bounds for testing purposes.

spastorino commented 9 months ago

Note that t-lang formed consensus on a plan to stabilize a subset https://github.com/rust-lang/rust/issues/68318#issuecomment-1832355185