Skip to content

Commit 3d29a27

Browse files
committed
---
yaml --- r: 225917 b: refs/heads/stable c: a8f666f h: refs/heads/master i: 225915: c6d8d36 v: v3
1 parent 9e52af5 commit 3d29a27

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

63 files changed

+438
-1133
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,6 @@ refs/heads/tmp: e5d90d98402475b6e154ce216f9efcb80da1a747
2929
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
3030
refs/tags/homu-tmp: 1fe32ca12c51afcd761d9962f51a74ff0d07a591
3131
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
32-
refs/heads/stable: b5f2b098d7747863b1e647e024777e4baa4907a9
32+
refs/heads/stable: a8f666f1f4980a9bbc5b1c94db7eb401dbe47070
3333
refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
3434
refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b

branches/stable/src/doc/reference.md

Lines changed: 10 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -944,20 +944,9 @@ fn foo<T>(x: T) where T: Debug {
944944
```
945945

946946
When a generic function is referenced, its type is instantiated based on the
947-
context of the reference. For example, calling the `foo` function here:
948-
949-
```
950-
use std::fmt::Debug;
951-
952-
fn foo<T>(x: &[T]) where T: Debug {
953-
// details elided
954-
# ()
955-
}
956-
957-
foo(&[1, 2]);
958-
```
959-
960-
will instantiate type parameter `T` with `i32`.
947+
context of the reference. For example, calling the `iter` function defined
948+
above on `[1, 2]` will instantiate type parameter `T` with `i32`, and require
949+
the closure parameter to have type `Fn(i32)`.
961950

962951
The type parameters can also be explicitly supplied in a trailing
963952
[path](#paths) component after the function name. This might be necessary if
@@ -2779,22 +2768,24 @@ meaning of the operators on standard types is given here.
27792768
Like the [arithmetic operators](#arithmetic-operators), bitwise operators are
27802769
syntactic sugar for calls to methods of built-in traits. This means that
27812770
bitwise operators can be overridden for user-defined types. The default
2782-
meaning of the operators on standard types is given here.
2771+
meaning of the operators on standard types is given here. Bitwise `&`, `|` and
2772+
`^` applied to boolean arguments are equivalent to logical `&&`, `||` and `!=`
2773+
evaluated in non-lazy fashion.
27832774

27842775
* `&`
2785-
: And.
2776+
: Bitwise AND.
27862777
Calls the `bitand` method of the `std::ops::BitAnd` trait.
27872778
* `|`
2788-
: Inclusive or.
2779+
: Bitwise inclusive OR.
27892780
Calls the `bitor` method of the `std::ops::BitOr` trait.
27902781
* `^`
2791-
: Exclusive or.
2782+
: Bitwise exclusive OR.
27922783
Calls the `bitxor` method of the `std::ops::BitXor` trait.
27932784
* `<<`
27942785
: Left shift.
27952786
Calls the `shl` method of the `std::ops::Shl` trait.
27962787
* `>>`
2797-
: Right shift.
2788+
: Right shift (arithmetic).
27982789
Calls the `shr` method of the `std::ops::Shr` trait.
27992790

28002791
#### Lazy boolean operators

branches/stable/src/doc/trpl/traits.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -332,7 +332,7 @@ fn normal<T: ConvertTo<i64>>(x: &T) -> i64 {
332332
fn inverse<T>() -> T
333333
// this is using ConvertTo as if it were "ConvertFrom<i32>"
334334
where i32: ConvertTo<T> {
335-
42.convert()
335+
1i32.convert()
336336
}
337337
```
338338

branches/stable/src/libcollections/vec.rs

Lines changed: 39 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -1469,26 +1469,42 @@ impl<T> ops::DerefMut for Vec<T> {
14691469
impl<T> FromIterator<T> for Vec<T> {
14701470
#[inline]
14711471
fn from_iter<I: IntoIterator<Item=T>>(iterable: I) -> Vec<T> {
1472-
// Unroll the first iteration, as the vector is going to be
1473-
// expanded on this iteration in every case when the iterable is not
1474-
// empty, but the loop in extend_desugared() is not going to see the
1475-
// vector being full in the few subsequent loop iterations.
1476-
// So we get better branch prediction and the possibility to
1477-
// construct the vector with initial estimated capacity.
14781472
let mut iterator = iterable.into_iter();
1479-
let mut vector = match iterator.next() {
1480-
None => return Vec::new(),
1481-
Some(element) => {
1482-
let (lower, _) = iterator.size_hint();
1483-
let mut vector = Vec::with_capacity(1 + lower);
1484-
unsafe {
1485-
ptr::write(vector.get_unchecked_mut(0), element);
1486-
vector.set_len(1);
1487-
}
1488-
vector
1473+
let (lower, _) = iterator.size_hint();
1474+
let mut vector = Vec::with_capacity(lower);
1475+
1476+
// This function should be the moral equivalent of:
1477+
//
1478+
// for item in iterator {
1479+
// vector.push(item);
1480+
// }
1481+
//
1482+
// This equivalent crucially runs the iterator precisely once. Below we
1483+
// actually in theory run the iterator twice (one without bounds checks
1484+
// and one with). To achieve the "moral equivalent", we use the `if`
1485+
// statement below to break out early.
1486+
//
1487+
// If the first loop has terminated, then we have one of two conditions.
1488+
//
1489+
// 1. The underlying iterator returned `None`. In this case we are
1490+
// guaranteed that less than `vector.capacity()` elements have been
1491+
// returned, so we break out early.
1492+
// 2. The underlying iterator yielded `vector.capacity()` elements and
1493+
// has not yielded `None` yet. In this case we run the iterator to
1494+
// its end below.
1495+
for element in iterator.by_ref().take(vector.capacity()) {
1496+
let len = vector.len();
1497+
unsafe {
1498+
ptr::write(vector.get_unchecked_mut(len), element);
1499+
vector.set_len(len + 1);
1500+
}
1501+
}
1502+
1503+
if vector.len() == vector.capacity() {
1504+
for element in iterator {
1505+
vector.push(element);
14891506
}
1490-
};
1491-
vector.extend_desugared(iterator);
1507+
}
14921508
vector
14931509
}
14941510
}
@@ -1553,27 +1569,11 @@ impl<'a, T> IntoIterator for &'a mut Vec<T> {
15531569
impl<T> Extend<T> for Vec<T> {
15541570
#[inline]
15551571
fn extend<I: IntoIterator<Item=T>>(&mut self, iterable: I) {
1556-
self.extend_desugared(iterable.into_iter())
1557-
}
1558-
}
1559-
1560-
impl<T> Vec<T> {
1561-
fn extend_desugared<I: Iterator<Item=T>>(&mut self, mut iterator: I) {
1562-
// This function should be the moral equivalent of:
1563-
//
1564-
// for item in iterator {
1565-
// self.push(item);
1566-
// }
1567-
while let Some(element) = iterator.next() {
1568-
let len = self.len();
1569-
if len == self.capacity() {
1570-
let (lower, _) = iterator.size_hint();
1571-
self.reserve(lower + 1);
1572-
}
1573-
unsafe {
1574-
ptr::write(self.get_unchecked_mut(len), element);
1575-
self.set_len(len + 1);
1576-
}
1572+
let iterator = iterable.into_iter();
1573+
let (lower, _) = iterator.size_hint();
1574+
self.reserve(lower);
1575+
for element in iterator {
1576+
self.push(element)
15771577
}
15781578
}
15791579
}

branches/stable/src/libcore/char.rs

Lines changed: 11 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -74,8 +74,17 @@ pub const MAX: char = '\u{10ffff}';
7474
/// ```
7575
/// use std::char;
7676
///
77-
/// assert_eq!(char::from_u32(0x2764), Some('❤'));
78-
/// assert_eq!(char::from_u32(0x110000), None); // invalid character
77+
/// let c = char::from_u32(10084); // produces `Some(❤)`
78+
/// assert_eq!(c, Some('❤'));
79+
/// ```
80+
///
81+
/// An invalid character:
82+
///
83+
/// ```
84+
/// use std::char;
85+
///
86+
/// let none = char::from_u32(1114112);
87+
/// assert_eq!(none, None);
7988
/// ```
8089
#[inline]
8190
#[stable(feature = "rust1", since = "1.0.0")]

branches/stable/src/librustc/middle/check_const.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -285,7 +285,7 @@ impl<'a, 'tcx> CheckCrateVisitor<'a, 'tcx> {
285285
fn check_static_type(&self, e: &ast::Expr) {
286286
let ty = ty::node_id_to_type(self.tcx, e.id);
287287
let infcx = infer::new_infer_ctxt(self.tcx);
288-
let mut fulfill_cx = traits::FulfillmentContext::new(false);
288+
let mut fulfill_cx = traits::FulfillmentContext::new();
289289
let cause = traits::ObligationCause::new(e.span, e.id, traits::SharedStatic);
290290
fulfill_cx.register_builtin_bound(&infcx, ty, ty::BoundSync, cause);
291291
let env = ty::empty_parameter_environment(self.tcx);

branches/stable/src/librustc/middle/dead.rs

Lines changed: 1 addition & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,6 @@ struct MarkSymbolVisitor<'a, 'tcx: 'a> {
4848
struct_has_extern_repr: bool,
4949
ignore_non_const_paths: bool,
5050
inherited_pub_visibility: bool,
51-
ignore_variant_stack: Vec<ast::NodeId>,
5251
}
5352

5453
impl<'a, 'tcx> MarkSymbolVisitor<'a, 'tcx> {
@@ -61,7 +60,6 @@ impl<'a, 'tcx> MarkSymbolVisitor<'a, 'tcx> {
6160
struct_has_extern_repr: false,
6261
ignore_non_const_paths: false,
6362
inherited_pub_visibility: false,
64-
ignore_variant_stack: vec![],
6563
}
6664
}
6765

@@ -82,9 +80,7 @@ impl<'a, 'tcx> MarkSymbolVisitor<'a, 'tcx> {
8280
def::DefPrimTy(_) => (),
8381
def::DefVariant(enum_id, variant_id, _) => {
8482
self.check_def_id(enum_id);
85-
if !self.ignore_variant_stack.contains(&variant_id.node) {
86-
self.check_def_id(variant_id);
87-
}
83+
self.check_def_id(variant_id);
8884
}
8985
_ => {
9086
self.check_def_id(def.def_id());
@@ -276,23 +272,6 @@ impl<'a, 'tcx, 'v> Visitor<'v> for MarkSymbolVisitor<'a, 'tcx> {
276272
visit::walk_expr(self, expr);
277273
}
278274

279-
fn visit_arm(&mut self, arm: &ast::Arm) {
280-
if arm.pats.len() == 1 {
281-
let pat = &*arm.pats[0];
282-
let variants = pat_util::necessary_variants(&self.tcx.def_map, pat);
283-
284-
// Inside the body, ignore constructions of variants
285-
// necessary for the pattern to match. Those construction sites
286-
// can't be reached unless the variant is constructed elsewhere.
287-
let len = self.ignore_variant_stack.len();
288-
self.ignore_variant_stack.push_all(&*variants);
289-
visit::walk_arm(self, arm);
290-
self.ignore_variant_stack.truncate(len);
291-
} else {
292-
visit::walk_arm(self, arm);
293-
}
294-
}
295-
296275
fn visit_pat(&mut self, pat: &ast::Pat) {
297276
let def_map = &self.tcx.def_map;
298277
match pat.node {
@@ -414,11 +393,6 @@ fn create_and_seed_worklist(tcx: &ty::ctxt,
414393
worklist.push(*id);
415394
}
416395
for id in reachable_symbols {
417-
// Reachable variants can be dead, because we warn about
418-
// variants never constructed, not variants never used.
419-
if let Some(ast_map::NodeVariant(..)) = tcx.map.find(*id) {
420-
continue;
421-
}
422396
worklist.push(*id);
423397
}
424398

branches/stable/src/librustc/middle/mem_categorization.rs

Lines changed: 17 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -65,6 +65,7 @@ pub use self::InteriorKind::*;
6565
pub use self::FieldName::*;
6666
pub use self::ElementKind::*;
6767
pub use self::MutabilityCategory::*;
68+
pub use self::InteriorSafety::*;
6869
pub use self::AliasableReason::*;
6970
pub use self::Note::*;
7071
pub use self::deref_kind::*;
@@ -1384,6 +1385,12 @@ impl<'t,'tcx,TYPER:Typer<'tcx>> MemCategorizationContext<'t,TYPER> {
13841385
}
13851386
}
13861387

1388+
#[derive(Copy, Clone, Debug)]
1389+
pub enum InteriorSafety {
1390+
InteriorUnsafe,
1391+
InteriorSafe
1392+
}
1393+
13871394
#[derive(Clone, Debug)]
13881395
pub enum Aliasability {
13891396
FreelyAliasable(AliasableReason),
@@ -1397,8 +1404,8 @@ pub enum AliasableReason {
13971404
AliasableClosure(ast::NodeId), // Aliasable due to capture Fn closure env
13981405
AliasableOther,
13991406
UnaliasableImmutable, // Created as needed upon seeing ImmutableUnique
1400-
AliasableStatic,
1401-
AliasableStaticMut,
1407+
AliasableStatic(InteriorSafety),
1408+
AliasableStaticMut(InteriorSafety),
14021409
}
14031410

14041411
impl<'tcx> cmt_<'tcx> {
@@ -1462,10 +1469,16 @@ impl<'tcx> cmt_<'tcx> {
14621469
}
14631470

14641471
cat_static_item(..) => {
1472+
let int_safe = if ty::type_interior_is_unsafe(ctxt, self.ty) {
1473+
InteriorUnsafe
1474+
} else {
1475+
InteriorSafe
1476+
};
1477+
14651478
if self.mutbl.is_mutable() {
1466-
FreelyAliasable(AliasableStaticMut)
1479+
FreelyAliasable(AliasableStaticMut(int_safe))
14671480
} else {
1468-
FreelyAliasable(AliasableStatic)
1481+
FreelyAliasable(AliasableStatic(int_safe))
14691482
}
14701483
}
14711484

branches/stable/src/librustc/middle/pat_util.rs

Lines changed: 0 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -201,27 +201,3 @@ pub fn def_to_path(tcx: &ty::ctxt, id: ast::DefId) -> ast::Path {
201201
span: DUMMY_SP,
202202
})
203203
}
204-
205-
/// Return variants that are necessary to exist for the pattern to match.
206-
pub fn necessary_variants(dm: &DefMap, pat: &ast::Pat) -> Vec<ast::NodeId> {
207-
let mut variants = vec![];
208-
walk_pat(pat, |p| {
209-
match p.node {
210-
ast::PatEnum(_, _) |
211-
ast::PatIdent(_, _, None) |
212-
ast::PatStruct(..) => {
213-
match dm.borrow().get(&p.id) {
214-
Some(&PathResolution { base_def: DefVariant(_, id, _), .. }) => {
215-
variants.push(id.node);
216-
}
217-
_ => ()
218-
}
219-
}
220-
_ => ()
221-
}
222-
true
223-
});
224-
variants.sort();
225-
variants.dedup();
226-
variants
227-
}

0 commit comments

Comments
 (0)