Skip to content

Commit defb8ab

Browse files
committed
---
yaml --- r: 195695 b: refs/heads/auto c: fe8a660 h: refs/heads/master i: 195693: d18e311 195691: b7393f2 195687: 8e5524a 195679: 3758818 v: v3
1 parent 483d454 commit defb8ab

File tree

106 files changed

+1614
-1965
lines changed

Some content is hidden

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

106 files changed

+1614
-1965
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
1010
refs/tags/release-0.3.1: 495bae036dfe5ec6ceafd3312b4dca48741e845b
1111
refs/tags/release-0.4: e828ea2080499553b97dfe33b3f4d472b4562ad7
1212
refs/tags/release-0.5: 7e3bcfbf21278251ee936ad53e92e9b719702d73
13-
refs/heads/auto: 095f1fbde661c4de6dc96fd2e9753b084b66f34a
13+
refs/heads/auto: fe8a66040742f9acd26e5b932550cc0e5d853445
1414
refs/heads/servo: af82457af293e2a842ba6b7759b70288da276167
1515
refs/tags/release-0.6: b4ebcfa1812664df5e142f0134a5faea3918544c
1616
refs/tags/0.1: b19db808c2793fe2976759b85a355c3ad8c8b336

branches/auto/mk/crates.mk

Lines changed: 8 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -125,18 +125,13 @@ ONLY_RLIB_rustc_bitflags := 1
125125
# On channels where the only usable crate is std, only build documentation for
126126
# std. This keeps distributions small and doesn't clutter up the API docs with
127127
# confusing internal details from the crates behind the facade.
128-
#
129-
# (Disabled while cmr figures out how to change rustdoc to make reexports work
130-
# slightly nicer. Otherwise, all cross-crate links to Vec will go to
131-
# libcollections, breaking them, and [src] links for anything reexported will
132-
# not work.)
133128

134-
#ifeq ($(CFG_RELEASE_CHANNEL),stable)
135-
#DOC_CRATES := std
136-
#else
137-
#ifeq ($(CFG_RELEASE_CHANNEL),beta)
138-
#DOC_CRATES := std
139-
#else
129+
ifeq ($(CFG_RELEASE_CHANNEL),stable)
130+
DOC_CRATES := std
131+
else
132+
ifeq ($(CFG_RELEASE_CHANNEL),beta)
133+
DOC_CRATES := std
134+
else
140135
DOC_CRATES := $(filter-out rustc, \
141136
$(filter-out rustc_trans, \
142137
$(filter-out rustc_typeck, \
@@ -148,8 +143,8 @@ DOC_CRATES := $(filter-out rustc, \
148143
$(filter-out log, \
149144
$(filter-out getopts, \
150145
$(filter-out syntax, $(CRATES))))))))))))
151-
#endif
152-
#endif
146+
endif
147+
endif
153148
COMPILER_DOC_CRATES := rustc rustc_trans rustc_borrowck rustc_resolve \
154149
rustc_typeck rustc_driver syntax rustc_privacy \
155150
rustc_lint

branches/auto/src/doc/reference.md

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1188,15 +1188,12 @@ the guarantee that these issues are never caused by safe code.
11881188

11891189
* Data races
11901190
* Dereferencing a null/dangling raw pointer
1191+
* Mutating an immutable value/reference without `UnsafeCell`
11911192
* Reads of [undef](http://llvm.org/docs/LangRef.html#undefined-values)
11921193
(uninitialized) memory
11931194
* Breaking the [pointer aliasing
11941195
rules](http://llvm.org/docs/LangRef.html#pointer-aliasing-rules)
11951196
with raw pointers (a subset of the rules used by C)
1196-
* `&mut` and `&` follow LLVM’s scoped [noalias] model, except if the `&T`
1197-
contains an `UnsafeCell<U>`. Unsafe code must not violate these aliasing
1198-
guarantees.
1199-
* Mutating an immutable value/reference without `UnsafeCell<U>`
12001197
* Invoking undefined behavior via compiler intrinsics:
12011198
* Indexing outside of the bounds of an object with `std::ptr::offset`
12021199
(`offset` intrinsic), with
@@ -1213,8 +1210,6 @@ the guarantee that these issues are never caused by safe code.
12131210
code. Rust's failure system is not compatible with exception handling in
12141211
other languages. Unwinding must be caught and handled at FFI boundaries.
12151212

1216-
[noalias]: http://llvm.org/docs/LangRef.html#noalias
1217-
12181213
##### Behaviour not considered unsafe
12191214

12201215
This is a list of behaviour not considered *unsafe* in Rust terms, but that may

branches/auto/src/doc/trpl/method-syntax.md

Lines changed: 8 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -181,23 +181,17 @@ impl Circle {
181181
}
182182
183183
struct CircleBuilder {
184-
x: f64,
185-
y: f64,
184+
coordinate: f64,
186185
radius: f64,
187186
}
188187
189188
impl CircleBuilder {
190189
fn new() -> CircleBuilder {
191-
CircleBuilder { x: 0.0, y: 0.0, radius: 0.0, }
192-
}
193-
194-
fn x(&mut self, coordinate: f64) -> &mut CircleBuilder {
195-
self.x = coordinate;
196-
self
190+
CircleBuilder { coordinate: 0.0, radius: 0.0, }
197191
}
198192
199-
fn y(&mut self, coordinate: f64) -> &mut CircleBuilder {
200-
self.x = coordinate;
193+
fn coordinate(&mut self, coordinate: f64) -> &mut CircleBuilder {
194+
self.coordinate = coordinate;
201195
self
202196
}
203197
@@ -207,20 +201,18 @@ impl CircleBuilder {
207201
}
208202
209203
fn finalize(&self) -> Circle {
210-
Circle { x: self.x, y: self.y, radius: self.radius }
204+
Circle { x: self.coordinate, y: self.coordinate, radius: self.radius }
211205
}
212206
}
213207
214208
fn main() {
215209
let c = CircleBuilder::new()
216-
.x(1.0)
217-
.y(2.0)
218-
.radius(2.0)
210+
.coordinate(10.0)
211+
.radius(5.0)
219212
.finalize();
220213
214+
221215
println!("area: {}", c.area());
222-
println!("x: {}", c.x);
223-
println!("y: {}", c.y);
224216
}
225217
```
226218

branches/auto/src/doc/trpl/ownership.md

Lines changed: 4 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -472,15 +472,10 @@ thread-safe counterpart of `Rc<T>`.
472472

473473
## Lifetime Elision
474474

475-
Rust supports powerful local type inference in function bodies, but it’s
476-
forbidden in item signatures to allow reasoning about the types just based in
477-
the item signature alone. However, for ergonomic reasons a very restricted
478-
secondary inference algorithm called “lifetime elision” applies in function
479-
signatures. It infers only based on the signature components themselves and not
480-
based on the body of the function, only infers lifetime paramters, and does
481-
this with only three easily memorizable and unambiguous rules. This makes
482-
lifetime elision a shorthand for writing an item signature, while not hiding
483-
away the actual types involved as full local inference would if applied to it.
475+
Earlier, we mentioned *lifetime elision*, a feature of Rust which allows you to
476+
not write lifetime annotations in certain circumstances. All references have a
477+
lifetime, and so if you elide a lifetime (like `&T` instead of `&'a T`), Rust
478+
will do three things to determine what those lifetimes should be.
484479

485480
When talking about lifetime elision, we use the term *input lifetime* and
486481
*output lifetime*. An *input lifetime* is a lifetime associated with a parameter

branches/auto/src/doc/trpl/testing.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -231,7 +231,7 @@ pub fn add_two(a: i32) -> i32 {
231231
}
232232
233233
#[cfg(test)]
234-
mod test {
234+
mod tests {
235235
use super::add_two;
236236
237237
#[test]
@@ -241,7 +241,7 @@ mod test {
241241
}
242242
```
243243

244-
There's a few changes here. The first is the introduction of a `mod test` with
244+
There's a few changes here. The first is the introduction of a `mod tests` with
245245
a `cfg` attribute. The module allows us to group all of our tests together, and
246246
to also define helper functions if needed, that don't become a part of the rest
247247
of our crate. The `cfg` attribute only compiles our test code if we're
@@ -260,7 +260,7 @@ pub fn add_two(a: i32) -> i32 {
260260
}
261261
262262
#[cfg(test)]
263-
mod test {
263+
mod tests {
264264
use super::*;
265265
266266
#[test]

branches/auto/src/liballoc/boxed.rs

Lines changed: 20 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -233,10 +233,24 @@ impl<T: ?Sized + Hash> Hash for Box<T> {
233233
}
234234
}
235235

236-
impl Box<Any> {
237-
#[inline]
236+
/// Extension methods for an owning `Any` trait object.
237+
#[unstable(feature = "alloc",
238+
reason = "this trait will likely disappear once compiler bugs blocking \
239+
a direct impl on `Box<Any>` have been fixed ")]
240+
// FIXME(#18737): this should be a direct impl on `Box<Any>`. If you're
241+
// removing this please make sure that you can downcase on
242+
// `Box<Any + Send>` as well as `Box<Any>`
243+
pub trait BoxAny {
244+
/// Returns the boxed value if it is of type `T`, or
245+
/// `Err(Self)` if it isn't.
238246
#[stable(feature = "rust1", since = "1.0.0")]
239-
pub fn downcast<T: Any>(self) -> Result<Box<T>, Box<Any>> {
247+
fn downcast<T: Any>(self) -> Result<Box<T>, Box<Any>>;
248+
}
249+
250+
#[stable(feature = "rust1", since = "1.0.0")]
251+
impl BoxAny for Box<Any> {
252+
#[inline]
253+
fn downcast<T: Any>(self) -> Result<Box<T>, Box<Any>> {
240254
if self.is::<T>() {
241255
unsafe {
242256
// Get the raw representation of the trait object
@@ -253,10 +267,10 @@ impl Box<Any> {
253267
}
254268
}
255269

256-
impl Box<Any+Send> {
270+
#[stable(feature = "rust1", since = "1.0.0")]
271+
impl BoxAny for Box<Any+Send> {
257272
#[inline]
258-
#[stable(feature = "rust1", since = "1.0.0")]
259-
pub fn downcast<T: Any>(self) -> Result<Box<T>, Box<Any>> {
273+
fn downcast<T: Any>(self) -> Result<Box<T>, Box<Any>> {
260274
<Box<Any>>::downcast(self)
261275
}
262276
}

branches/auto/src/liballoc/boxed_test.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@ use core::clone::Clone;
1717

1818
use std::boxed;
1919
use std::boxed::Box;
20+
use std::boxed::BoxAny;
2021

2122
#[test]
2223
fn test_owned_clone() {

branches/auto/src/liballoc/heap.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -189,6 +189,7 @@ mod imp {
189189
use core::option::Option;
190190
use core::option::Option::None;
191191
use core::ptr::{null_mut, null};
192+
use core::num::Int;
192193
use libc::{c_char, c_int, c_void, size_t};
193194
use super::MIN_ALIGN;
194195

@@ -300,7 +301,7 @@ mod imp {
300301
libc::realloc(ptr as *mut libc::c_void, size as libc::size_t) as *mut u8
301302
} else {
302303
let new_ptr = allocate(size, align);
303-
ptr::copy(ptr, new_ptr, cmp::min(size, old_size));
304+
ptr::copy(new_ptr, ptr, cmp::min(size, old_size));
304305
deallocate(ptr, old_size, align);
305306
new_ptr
306307
}

branches/auto/src/libcollections/bit.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,7 @@ use core::hash;
9191
use core::iter::RandomAccessIterator;
9292
use core::iter::{Chain, Enumerate, Repeat, Skip, Take, repeat, Cloned};
9393
use core::iter::{self, FromIterator, IntoIterator};
94+
use core::num::Int;
9495
use core::ops::Index;
9596
use core::slice;
9697
use core::{u8, u32, usize};

branches/auto/src/libcollections/borrow.rs

Lines changed: 0 additions & 56 deletions
Original file line numberDiff line numberDiff line change
@@ -40,24 +40,6 @@ use self::Cow::*;
4040
#[stable(feature = "rust1", since = "1.0.0")]
4141
pub trait Borrow<Borrowed: ?Sized> {
4242
/// Immutably borrow from an owned value.
43-
///
44-
/// # Examples
45-
///
46-
/// ```
47-
/// use std::borrow::Borrow;
48-
///
49-
/// fn check<T: Borrow<str>>(s: T) {
50-
/// assert_eq!("Hello", s.borrow());
51-
/// }
52-
///
53-
/// let s = "Hello".to_string();
54-
///
55-
/// check(s);
56-
///
57-
/// let s = "Hello";
58-
///
59-
/// check(s);
60-
/// ```
6143
#[stable(feature = "rust1", since = "1.0.0")]
6244
fn borrow(&self) -> &Borrowed;
6345
}
@@ -68,20 +50,6 @@ pub trait Borrow<Borrowed: ?Sized> {
6850
#[stable(feature = "rust1", since = "1.0.0")]
6951
pub trait BorrowMut<Borrowed: ?Sized> : Borrow<Borrowed> {
7052
/// Mutably borrow from an owned value.
71-
///
72-
/// # Examples
73-
///
74-
/// ```
75-
/// use std::borrow::BorrowMut;
76-
///
77-
/// fn check<T: BorrowMut<[i32]>>(mut v: T) {
78-
/// assert_eq!(&mut [1, 2, 3], v.borrow_mut());
79-
/// }
80-
///
81-
/// let v = vec![1, 2, 3];
82-
///
83-
/// check(v);
84-
/// ```
8553
#[stable(feature = "rust1", since = "1.0.0")]
8654
fn borrow_mut(&mut self) -> &mut Borrowed;
8755
}
@@ -203,18 +171,6 @@ impl<'a, B: ?Sized> Cow<'a, B> where B: ToOwned {
203171
/// Acquire a mutable reference to the owned form of the data.
204172
///
205173
/// Copies the data if it is not already owned.
206-
///
207-
/// # Examples
208-
///
209-
/// ```
210-
/// use std::borrow::Cow;
211-
///
212-
/// let mut cow: Cow<[_]> = Cow::Owned(vec![1, 2, 3]);
213-
///
214-
/// let hello = cow.to_mut();
215-
///
216-
/// assert_eq!(&[1, 2, 3], hello);
217-
/// ```
218174
#[stable(feature = "rust1", since = "1.0.0")]
219175
pub fn to_mut(&mut self) -> &mut <B as ToOwned>::Owned {
220176
match *self {
@@ -229,18 +185,6 @@ impl<'a, B: ?Sized> Cow<'a, B> where B: ToOwned {
229185
/// Extract the owned data.
230186
///
231187
/// Copies the data if it is not already owned.
232-
///
233-
/// # Examples
234-
///
235-
/// ```
236-
/// use std::borrow::Cow;
237-
///
238-
/// let cow: Cow<[_]> = Cow::Owned(vec![1, 2, 3]);
239-
///
240-
/// let hello = cow.into_owned();
241-
///
242-
/// assert_eq!(vec![1, 2, 3], hello);
243-
/// ```
244188
#[stable(feature = "rust1", since = "1.0.0")]
245189
pub fn into_owned(self) -> <B as ToOwned>::Owned {
246190
match self {

0 commit comments

Comments
 (0)