auto merge of #8772 : thestinger/rust/option, r=anasazi
Closes #6002 There is consensus that the current implementation should be changed or removed, so removing it seems like the right decision for now.
Showing
想要评论请 注册 或 登录
Closes #6002 There is consensus that the current implementation should be changed or removed, so removing it seems like the right decision for now.