Single Body Instances

[dkcumming]

Stable MIR JSON PR#60 removes the error where we thought we had to find the Body for promoted items. This is reflecting that change by removing the list of Body and changing it to an maybeBody for MonoItem::Fn since sometimes a Body is not present

[dkcumming]

After the updated to stable-mir-json I will pull that into the submodule, but I think we can review it pointing to the branch for now

[jberthold]

Can we please pretty-print the checked-in JSON (to get a chance to read a small diff)?

[dkcumming]

100% I should of done that

[jberthold]

Ditto, please reformat using jq. Something like
for file in $(find ...exec-smir -name \*smir.json); do echo $file; jq . $file > $file.pretty && mv $file.pretty $file; done

[dkcumming]

I don't think the tab size was consistent with all of these. They are all formatted with jq . now so hopefully things are consistent from now on

[jberthold]

Quite possibly I used vscode's formatter on some of them before...