@WG-prioritization/alerts issue #79304 has been requested for prioritization.
Seems like intended behavior. So we don’t need to prioritize right?
yeah, looks intended
hmm, but it does have an effect https://github.com/rust-lang/rust/issues/79304#issuecomment-731763098
I think https://github.com/rust-lang/rust/pull/78626 didn't think about rustdoc
this should be a warning, not an error think
anyway, I vote for P-medium because it has an easy workaround (
so it does not emit deprecation warnings but does show it in rustdoc?
I think so, let me double check
ah wait no, it's not shown at all