severity 998027 normal thanks.
Possible ways forward.1. Do nothing, wait for the issue to go away when the new rustc makes it into testing.I don't mind 1.
In that case I'll downgrade the bug so it doesn't unnecessarily delay testing migration after the new rustc migrates. I think it makes sense to keep it open for now to document the issue.

