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
94 stars 19 forks source link

Coinductive trait semantics and normalization #83

Open nikomatsakis opened 1 year ago

nikomatsakis commented 1 year ago

Summary

I'd like to alter Rust's trait matching semantics to be coinductive. The meeting would be a pre-read of a (yet to be written) RFC covering this change.

Rationale