Skip to content

Commit b8da6c7

Browse files
committed
RFC 1257 is specifying drain()
1 parent 9d90135 commit b8da6c7

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

text/0000-drain-range-2.md renamed to text/1257-drain-range-2.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
- Feature Name: drain-range
22
- Start Date: 2015-08-14
3-
- RFC PR: (leave this empty)
4-
- Rust Issue: (leave this empty)
3+
- RFC PR: [rust-lang/rfcs#1257](https://github.com/rust-lang/rfcs/pull/1257)
4+
- Rust Issue: [rust-lang/rust#27711](https://github.com/rust-lang/rust/issues/27711)
55

66
# Summary
77

@@ -106,7 +106,7 @@ The following will be heading towards stabilization after changes:
106106

107107
- Use the name `.remove_range(a..b)` instead of `.drain(a..b)`. Since the method
108108
has two simultaneous roles, removing a range and yielding a range as an iterator,
109-
either role could guide the name.
109+
either role could guide the name.
110110
This alternative name was not very popular with the rust developers I asked
111111
(but they are already used to what `drain` means in rust context).
112112

0 commit comments

Comments
 (0)