a-mir-formality
a-mir-formality copied to clipboard
Extend MIR layer with a way to attach MIR to declarations
We need a way to add MIR declarations to things like statics, consts, etc.
I imagined this as a separate "map" that took the item name and connected it to a MIR definition. This would allow us later to add other layers, like surface Rust syntax.