@WG-prioritization/alerts issue #80800 has been requested for prioritization.
this is rejected by LLVM error on earlier rustc (~1.46)
hm, I'm not sure if it's something we could come up with a good fix immediately
P-high for this? I don't grasp the implications for this issue. Anyway this seems now to be on Matthew Jasper radar, probably some more details can emerge.
I agree with
Issue #80800's prioritization request has been removed.