rust-lang/a-mir-formality Issues
WF rules for structs
Updated 1Negative impls (with feature gate)
Updated 1Possible unused require
UpdatedOverlap rules
Updated 1Add borrow checker
Updatedlending-iterator spike
Updatedcoherence spike
UpdatedOrphan rules
Updatedwhere keyword in rust decl layer
Closed 2Add MIR type checker
UpdatedTest harness / driver
UpdatedAdd support for auto traits
Updated