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

MIR Formality progress #86

Closed nikomatsakis closed 12 months ago

nikomatsakis commented 1 year ago

Summary

Update on mir-formality -- either a review of some docs on how it works, or a pre-read of the RFC, whatever folks think would be most interesting.

Rationale

nikomatsakis commented 12 months ago

Covered during types team meetup