@WG-prioritization issue #71550 has been requested for prioritization.
P-high to me, since (IIUC) it has been in the compiler since Rust 1.16
about this one, I'm also in doubt if
thoughts on why one over the other one?
It's been in the compiler for quite a long time
I don't know if that's enough to "downgrade" to
well, let's go with
P-high I guess
Issue #71550's prioritization request has been removed.
was talking with nikomatsakis about this and it seems to be more
P-high going to bump the priority of it