-
Notifications
You must be signed in to change notification settings - Fork 17
Open
Description
We have merged PR #117745 in the rustc repository, which enables users to use the dump() functionality for inspecting functions. Additionally, it provides the -Zunpretty=stable-mir to the compiler. However, this implementation is still in its early stages. Our ultimate goal is to emulate the MIR output, albeit in a stable_mir format. This approach allows us the flexibility to deviate as necessary, tailoring the output to meet our specific requirements.
I would like to use this issue to follow development and improvements to emit functionality of stable_mir.
- Fix binder printing, it looks ugly now we could mimic
mirto pretty print this - Once Add place.ty() and Ty build from a kind to smir rust#118015 lands we should print
tyofPlace - We should pretty print
TyKind::AliasandTyKind::Bound
Will edit this as I found more issues.
Metadata
Metadata
Assignees
Labels
No labels