MIR-borrowck: We should also make sure that borrows don't"escape" in panic paths, so I'll probably have to create storagedead there and remove them after borrowck(arielb1, needs an issue)
MIR-borrowck: we want some automated way of tracking the status of borrowck errors. I’m thinking of some online database(dropbox paper, github, a google doc?) of borrowck output on each test, and some way for humans to bless specific outputs. Need some“app dev” skillz.
MIR-borrowck: Add false“unwind” edges to MIR to break infinite loops,(RFC)
Maybe related: Add“phantom edges” so that borrowck thinks all arms of a match are reachable and report errors for all of them(rust#45043). Fixed by PR rust#45200, should be reworked as part of rust#45184
see also rust#45184 MIR: permit"false edges", that are only used in the analysis