Skip to content

Commit f6f050d

Browse files
committed
Auto merge of #31873 - Manishearth:rollup, r=Manishearth
- Successful merges: #31677, #31784, #31839, #31842, #31843, #31850, #31863, #31868, #31870 - Failed merges:
2 parents 0ef8d42 + b660ca5 commit f6f050d

File tree

17 files changed

+138
-62
lines changed

17 files changed

+138
-62
lines changed

src/doc/book/iterators.md

+6-4
Original file line numberDiff line numberDiff line change
@@ -311,10 +311,12 @@ for i in (1..100).filter(|&x| x % 2 == 0) {
311311
```
312312

313313
This will print all of the even numbers between one and a hundred.
314-
(Note that because `filter` doesn't consume the elements that are
315-
being iterated over, it is passed a reference to each element, and
316-
thus the filter predicate uses the `&x` pattern to extract the integer
317-
itself.)
314+
(Note that, unlike `map`, the closure passed to `filter` is passed a reference
315+
to the element instead of the element itself. The filter predicate here uses
316+
the `&x` pattern to extract the integer. The filter closure is passed a
317+
reference because it returns `true` or `false` instead of the element,
318+
so the `filter` implementation must retain ownership to put the elements
319+
into the newly constructed iterator.)
318320

319321
You can chain all three things together: start with an iterator, adapt it
320322
a few times, and then consume the result. Check it out:

src/doc/book/ownership.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -157,7 +157,7 @@ this point of time). These two parts of the vector (the one on the stack and
157157
one on the heap) must agree with each other at all times with regards to
158158
things like the length, capacity etc.
159159

160-
When we move `v` to `v2`, rust actually does a bitwise copy of the vector
160+
When we move `v` to `v2`, Rust actually does a bitwise copy of the vector
161161
object `v` into the stack allocation represented by `v2`. This shallow copy
162162
does not create a copy of the heap allocation containing the actual data.
163163
Which means that there would be two pointers to the contents of the vector

src/doc/nomicon/other-reprs.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ These reprs have no effect on a struct.
5757

5858
# repr(packed)
5959

60-
`repr(packed)` forces rust to strip any padding, and only align the type to a
60+
`repr(packed)` forces Rust to strip any padding, and only align the type to a
6161
byte. This may improve the memory footprint, but will likely have other negative
6262
side-effects.
6363

src/doc/reference.md

+6-5
Original file line numberDiff line numberDiff line change
@@ -841,8 +841,8 @@ extern crate std as ruststd; // linking to 'std' under another name
841841

842842
A _use declaration_ creates one or more local name bindings synonymous with
843843
some other [path](#paths). Usually a `use` declaration is used to shorten the
844-
path required to refer to a module item. These declarations may appear at the
845-
top of [modules](#modules) and [blocks](grammar.html#block-expressions).
844+
path required to refer to a module item. These declarations may appear in
845+
[modules](#modules) and [blocks](grammar.html#block-expressions), usually at the top.
846846

847847
> **Note**: Unlike in many languages,
848848
> `use` declarations in Rust do *not* declare linkage dependency with external crates.
@@ -1764,7 +1764,7 @@ pub mod submodule {
17641764
# fn main() {}
17651765
```
17661766

1767-
For a rust program to pass the privacy checking pass, all paths must be valid
1767+
For a Rust program to pass the privacy checking pass, all paths must be valid
17681768
accesses given the two rules above. This includes all use statements,
17691769
expressions, types, etc.
17701770

@@ -3564,8 +3564,9 @@ Each instance of a trait object includes:
35643564
each method of `SomeTrait` that `T` implements, a pointer to `T`'s
35653565
implementation (i.e. a function pointer).
35663566

3567-
The purpose of trait objects is to permit "late binding" of methods. A call to
3568-
a method on a trait object is only resolved to a vtable entry at compile time.
3567+
The purpose of trait objects is to permit "late binding" of methods. Calling a
3568+
method on a trait object results in virtual dispatch at runtime: that is, a
3569+
function pointer is loaded from the trait object vtable and invoked indirectly.
35693570
The actual implementation for each vtable entry can vary on an object-by-object
35703571
basis.
35713572

src/libcollections/slice.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -407,7 +407,7 @@ impl<T> [T] {
407407
}
408408

409409
/// Returns an iterator over `size` elements of the slice at a
410-
/// time. The chunks do not overlap. If `size` does not divide the
410+
/// time. The chunks are slices and do not overlap. If `size` does not divide the
411411
/// length of the slice, then the last chunk will not have length
412412
/// `size`.
413413
///
@@ -433,7 +433,7 @@ impl<T> [T] {
433433
}
434434

435435
/// Returns an iterator over `chunk_size` elements of the slice at a time.
436-
/// The chunks are mutable and do not overlap. If `chunk_size` does
436+
/// The chunks are mutable slices, and do not overlap. If `chunk_size` does
437437
/// not divide the length of the slice, then the last chunk will not
438438
/// have length `chunk_size`.
439439
///

src/libcollections/vec.rs

+43
Original file line numberDiff line numberDiff line change
@@ -135,6 +135,49 @@ use super::range::RangeArgument;
135135
/// }
136136
/// ```
137137
///
138+
/// # Indexing
139+
///
140+
/// The Vec type allows to access values by index, because it implements the
141+
/// `Index` trait. An example will be more explicit:
142+
///
143+
/// ```
144+
/// let v = vec!(0, 2, 4, 6);
145+
/// println!("{}", v[1]); // it will display '2'
146+
/// ```
147+
///
148+
/// However be careful: if you try to access an index which isn't in the Vec,
149+
/// your software will panic! You cannot do this:
150+
///
151+
/// ```ignore
152+
/// let v = vec!(0, 2, 4, 6);
153+
/// println!("{}", v[6]); // it will panic!
154+
/// ```
155+
///
156+
/// In conclusion: always check if the index you want to get really exists
157+
/// before doing it.
158+
///
159+
/// # Slicing
160+
///
161+
/// A Vec can be mutable. Slices, on the other hand, are read-only objects.
162+
/// To get a slice, use "&". Example:
163+
///
164+
/// ```
165+
/// fn read_slice(slice: &[usize]) {
166+
/// // ...
167+
/// }
168+
///
169+
/// let v = vec!(0, 1);
170+
/// read_slice(&v);
171+
///
172+
/// // ... and that's all!
173+
/// // you can also do it like this:
174+
/// let x : &[usize] = &v;
175+
/// ```
176+
///
177+
/// In Rust, it's more common to pass slices as arguments rather than vectors
178+
/// when you just want to provide a read access. The same goes for String and
179+
/// &str.
180+
///
138181
/// # Capacity and reallocation
139182
///
140183
/// The capacity of a vector is the amount of space allocated for any future

src/libgetopts/lib.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -331,9 +331,8 @@ impl Matches {
331331
/// Returns the string argument supplied to one of several matching options or `None`.
332332
pub fn opts_str(&self, names: &[String]) -> Option<String> {
333333
for nm in names {
334-
match self.opt_val(&nm[..]) {
335-
Some(Val(ref s)) => return Some(s.clone()),
336-
_ => (),
334+
if let Some(Val(ref s)) = self.opt_val(&nm[..]) {
335+
return Some(s.clone())
337336
}
338337
}
339338
None

src/librustc_trans/back/link.rs

+4-6
Original file line numberDiff line numberDiff line change
@@ -226,9 +226,8 @@ fn symbol_hash<'tcx>(tcx: &ty::ctxt<'tcx>,
226226
}
227227

228228
fn get_symbol_hash<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, t: Ty<'tcx>) -> String {
229-
match ccx.type_hashcodes().borrow().get(&t) {
230-
Some(h) => return h.to_string(),
231-
None => {}
229+
if let Some(h) = ccx.type_hashcodes().borrow().get(&t) {
230+
return h.to_string()
232231
}
233232

234233
let mut symbol_hasher = ccx.symbol_hasher().borrow_mut();
@@ -315,9 +314,8 @@ pub fn mangle<PI: Iterator<Item=InternedString>>(path: PI, hash: Option<&str>) -
315314
push(&mut n, &data);
316315
}
317316

318-
match hash {
319-
Some(s) => push(&mut n, s),
320-
None => {}
317+
if let Some(s) = hash {
318+
push(&mut n, s)
321319
}
322320

323321
n.push('E'); // End name-sequence.

src/librustc_trans/trans/base.rs

+8-12
Original file line numberDiff line numberDiff line change
@@ -150,9 +150,8 @@ impl Drop for _InsnCtxt {
150150
pub fn push_ctxt(s: &'static str) -> _InsnCtxt {
151151
debug!("new InsnCtxt: {}", s);
152152
TASK_LOCAL_INSN_KEY.with(|slot| {
153-
match slot.borrow_mut().as_mut() {
154-
Some(ctx) => ctx.push(s),
155-
None => {}
153+
if let Some(ctx) = slot.borrow_mut().as_mut() {
154+
ctx.push(s)
156155
}
157156
});
158157
_InsnCtxt {
@@ -198,9 +197,8 @@ fn get_extern_rust_fn<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
198197
name: &str,
199198
did: DefId)
200199
-> ValueRef {
201-
match ccx.externs().borrow().get(name) {
202-
Some(n) => return *n,
203-
None => (),
200+
if let Some(n) = ccx.externs().borrow().get(name) {
201+
return *n;
204202
}
205203

206204
let f = declare::declare_rust_fn(ccx, name, fn_ty);
@@ -238,9 +236,8 @@ pub fn get_extern_const<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
238236
-> ValueRef {
239237
let name = ccx.sess().cstore.item_symbol(did);
240238
let ty = type_of(ccx, t);
241-
match ccx.externs().borrow_mut().get(&name) {
242-
Some(n) => return *n,
243-
None => (),
239+
if let Some(n) = ccx.externs().borrow_mut().get(&name) {
240+
return *n;
244241
}
245242
// FIXME(nagisa): perhaps the map of externs could be offloaded to llvm somehow?
246243
// FIXME(nagisa): investigate whether it can be changed into define_global
@@ -2755,9 +2752,8 @@ fn contains_null(s: &str) -> bool {
27552752
pub fn get_item_val(ccx: &CrateContext, id: ast::NodeId) -> ValueRef {
27562753
debug!("get_item_val(id=`{}`)", id);
27572754

2758-
match ccx.item_vals().borrow().get(&id).cloned() {
2759-
Some(v) => return v,
2760-
None => {}
2755+
if let Some(v) = ccx.item_vals().borrow().get(&id).cloned() {
2756+
return v;
27612757
}
27622758

27632759
let item = ccx.tcx().map.get(id);

src/librustc_trans/trans/common.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -947,9 +947,8 @@ pub fn C_u8(ccx: &CrateContext, i: u8) -> ValueRef {
947947
// our boxed-and-length-annotated strings.
948948
pub fn C_cstr(cx: &CrateContext, s: InternedString, null_terminated: bool) -> ValueRef {
949949
unsafe {
950-
match cx.const_cstr_cache().borrow().get(&s) {
951-
Some(&llval) => return llval,
952-
None => ()
950+
if let Some(&llval) = cx.const_cstr_cache().borrow().get(&s) {
951+
return llval;
953952
}
954953

955954
let sc = llvm::LLVMConstStringInContext(cx.llcx(),

src/librustc_trans/trans/type_of.rs

+4-6
Original file line numberDiff line numberDiff line change
@@ -182,9 +182,8 @@ pub fn type_of_fn_from_ty<'a, 'tcx>(cx: &CrateContext<'a, 'tcx>, fty: Ty<'tcx>)
182182
// recursive types. For example, enum types rely on this behavior.
183183

184184
pub fn sizing_type_of<'a, 'tcx>(cx: &CrateContext<'a, 'tcx>, t: Ty<'tcx>) -> Type {
185-
match cx.llsizingtypes().borrow().get(&t).cloned() {
186-
Some(t) => return t,
187-
None => ()
185+
if let Some(t) = cx.llsizingtypes().borrow().get(&t).cloned() {
186+
return t;
188187
}
189188

190189
debug!("sizing_type_of {:?}", t);
@@ -317,9 +316,8 @@ pub fn type_of<'a, 'tcx>(cx: &CrateContext<'a, 'tcx>, ty: Ty<'tcx>) -> Type {
317316
/// NB: If you update this, be sure to update `sizing_type_of()` as well.
318317
pub fn in_memory_type_of<'a, 'tcx>(cx: &CrateContext<'a, 'tcx>, t: Ty<'tcx>) -> Type {
319318
// Check the cache.
320-
match cx.lltypes().borrow().get(&t) {
321-
Some(&llty) => return llty,
322-
None => ()
319+
if let Some(&llty) = cx.lltypes().borrow().get(&t) {
320+
return llty;
323321
}
324322

325323
debug!("type_of {:?}", t);

src/librustdoc/html/render.rs

+7-6
Original file line numberDiff line numberDiff line change
@@ -2734,18 +2734,19 @@ fn make_item_keywords(it: &clean::Item) -> String {
27342734

27352735
fn get_index_search_type(item: &clean::Item,
27362736
parent: Option<String>) -> Option<IndexItemFunctionType> {
2737-
let decl = match item.inner {
2738-
clean::FunctionItem(ref f) => &f.decl,
2739-
clean::MethodItem(ref m) => &m.decl,
2740-
clean::TyMethodItem(ref m) => &m.decl,
2737+
let (decl, selfty) = match item.inner {
2738+
clean::FunctionItem(ref f) => (&f.decl, None),
2739+
clean::MethodItem(ref m) => (&m.decl, Some(&m.self_)),
2740+
clean::TyMethodItem(ref m) => (&m.decl, Some(&m.self_)),
27412741
_ => return None
27422742
};
27432743

27442744
let mut inputs = Vec::new();
27452745

27462746
// Consider `self` an argument as well.
2747-
if let Some(name) = parent {
2748-
inputs.push(Type { name: Some(name.to_ascii_lowercase()) });
2747+
match parent.and_then(|p| selfty.map(|s| (p, s)) ) {
2748+
Some((_, &clean::SelfStatic)) | None => (),
2749+
Some((name, _)) => inputs.push(Type { name: Some(name.to_ascii_lowercase()) }),
27492750
}
27502751

27512752
inputs.extend(&mut decl.inputs.values.iter().map(|arg| {

src/librustdoc/lib.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -385,9 +385,8 @@ fn rust_input(cratefile: &str, externs: core::Externs, matches: &getopts::Matche
385385
*s.borrow_mut() = analysis.take();
386386
});
387387

388-
match matches.opt_str("crate-name") {
389-
Some(name) => krate.name = name,
390-
None => {}
388+
if let Some(name) = matches.opt_str("crate-name") {
389+
krate.name = name
391390
}
392391

393392
// Process all of the crate attributes, extracting plugin metadata along

src/libstd/net/addr.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -467,9 +467,8 @@ impl ToSocketAddrs for str {
467467
type Iter = vec::IntoIter<SocketAddr>;
468468
fn to_socket_addrs(&self) -> io::Result<vec::IntoIter<SocketAddr>> {
469469
// try to parse as a regular SocketAddr first
470-
match self.parse().ok() {
471-
Some(addr) => return Ok(vec![addr].into_iter()),
472-
None => {}
470+
if let Some(addr) = self.parse().ok() {
471+
return Ok(vec![addr].into_iter());
473472
}
474473

475474
macro_rules! try_opt {

src/libstd/net/parser.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -66,9 +66,8 @@ impl<'a> Parser<'a> {
6666
fn read_or<T>(&mut self, parsers: &mut [Box<FnMut(&mut Parser) -> Option<T> + 'static>])
6767
-> Option<T> {
6868
for pf in parsers {
69-
match self.read_atomically(|p: &mut Parser| pf(p)) {
70-
Some(r) => return Some(r),
71-
None => {}
69+
if let Some(r) = self.read_atomically(|p: &mut Parser| pf(p)) {
70+
return Some(r);
7271
}
7372
}
7473
None

src/libstd/primitive_docs.rs

+44-1
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,50 @@
1212
//
1313
/// The boolean type.
1414
///
15+
/// The `bool` represents a value, which could only be either `true` or `false`.
16+
///
17+
/// # Basic usage
18+
///
19+
/// `bool` implements various traits, such as [`BitAnd`], [`BitOr`], [`Not`], etc.,
20+
/// which allow us to perform boolean operations using `&`, `|` and `!`.
21+
///
22+
/// [`if`] always demands a `bool` value. [`assert!`], being an important macro in testing,
23+
/// checks whether an expression returns `true`.
24+
///
25+
/// ```
26+
/// let bool_val = true & false | false;
27+
/// assert!(!bool_val);
28+
/// ```
29+
///
30+
/// [`assert!`]: std/macro.assert!.html
31+
/// [`if` conditionals]: ../../book/if.html
32+
/// [`BitAnd`]: ../ops/trait.BitAnd.html
33+
/// [`BitOr`]: ../ops/trait.BitOr.html
34+
/// [`Not`]: ../ops/trait.Not.html
35+
///
36+
/// # Examples
37+
///
38+
/// A trivial example of the usage of `bool`,
39+
///
40+
/// ```
41+
/// let praise_the_borrow_checker = true;
42+
///
43+
/// // using the `if` conditional
44+
/// if praise_the_borrow_checker {
45+
/// println!("oh, yeah!");
46+
/// } else {
47+
/// println!("what?!!");
48+
/// }
49+
///
50+
/// // ... or, a match pattern
51+
/// match praise_the_borrow_checker {
52+
/// true => println!("keep praising!"),
53+
/// false => println!("you should praise!"),
54+
/// }
55+
/// ```
56+
///
57+
/// Also, since `bool` implements the [`Copy`](../marker/trait.Copy.html) trait, we don't
58+
/// have to worry about the move semantics (just like the integer and float primitives).
1559
mod prim_bool { }
1660

1761
#[doc(primitive = "char")]
@@ -533,4 +577,3 @@ mod prim_isize { }
533577
/// *[See also the `std::usize` module](usize/index.html).*
534578
///
535579
mod prim_usize { }
536-

src/libstd/sys/windows/thread_local.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -69,9 +69,8 @@ static mut DTORS: *mut Vec<(Key, Dtor)> = ptr::null_mut();
6969
pub unsafe fn create(dtor: Option<Dtor>) -> Key {
7070
let key = c::TlsAlloc();
7171
assert!(key != c::TLS_OUT_OF_INDEXES);
72-
match dtor {
73-
Some(f) => register_dtor(key, f),
74-
None => {}
72+
if let Some(f) = dtor {
73+
register_dtor(key, f);
7574
}
7675
return key;
7776
}

0 commit comments

Comments
 (0)