Home of the "types team", affiliated with the compiler and lang teams.
Why do you think that https://github.com/rust-lang/a-mir-formality is a good alternative to types-team
Home of the "types team", affiliated with the compiler and lang teams.
Why do you think that https://github.com/rust-lang/a-mir-formality is a good alternative to types-team