See the stabilization PR at https://github.com/rust-lang/rust/pull/96709

This market will resolve on August 4, 2022 (three months after the PR was opened).

It will be resolved as YES if it has gone through the final comment period with a disposition to merge, which will be identified by rfcbot leaving a comment saying "The final comment period, with a disposition to merge, as per the review above, is now complete."

Note that the PR does not have to be merged, it just needs to have completed its FCP.

Otherwise, the market will resolve as NO.

#	Name	Total profit
1		Ṁ51
2		Ṁ20
3		Ṁ9
4		Ṁ5
5		Ṁ2

🏅 Top traders

People are also trading

Related questions