FYI, made a pull request according to this proposal: https://github.com/mozilla/rust/pull/11129
-- Simon Sapin _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
- Re: [rust-dev] Let’s avoid having both foo() and foo_opt(... Gábor Lehel
- [rust-dev] See pull request #11129 (was: Re: Let’s avoid... Simon Sapin
- Re: [rust-dev] See pull request #11129 (was: Re: Let... Liigo Zhuang
- Re: [rust-dev] See pull request #11129 Simon Sapin
- Re: [rust-dev] See pull request #11129 Kevin Ballard
- Re: [rust-dev] See pull request #11129 Simon Sapin
- Re: [rust-dev] Let’s avoid having both foo() and foo_opt(... Nick Cameron
