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.

Reply via email to