I think it would make more sense than the current setup, as a Mir coresponds to the body of a constant or function, in MIR.
Also, MIR encompasses more than just bodies - e.g. the miri value representation, but arguably the whole type/trait-system (including chalk) could be considered an integral part of "the Mid-level rustc IR".
cc @rust-lang/compiler
I think it would make more sense than the current setup, as a
Mircoresponds to the body of a constant or function, in MIR.Also, MIR encompasses more than just bodies - e.g. the miri value representation, but arguably the whole type/trait-system (including chalk) could be considered an integral part of "the Mid-level rustc IR".
mir::Mirintomir::Body#60928)mir_bodywhere it used to bemircc @rust-lang/compiler