7 ms·Which RFC is this?by cjs_2 9y agoWhich RFC is this?steveklabnik 9y agohttps://github.com/rust-lang/rfcs/pull/1937 https://github.com/rust-lang/rfcs/pull/1937