@WG-prioritization/alerts issue #72098 has been requested for prioritization.
Looks like this has been broken for a while: https://github.com/rust-lang/rust/issues/72098#issuecomment-626451700
what are the implications of this issue? Besides being there since long time, does it look like deprecated code syntax?
P-medium is ok, feel free to go ahead and label it :)
Issue #72098's prioritization request has been removed.