Skip to content

Commit 189ebad

Browse files
committed
---
yaml --- r: 216574 b: refs/heads/stable c: b8fedad h: refs/heads/master v: v3
1 parent 17865f6 commit 189ebad

Some content is hidden

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

51 files changed

+743
-156
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,5 +29,5 @@ refs/heads/tmp: 378a370ff2057afeb1eae86eb6e78c476866a4a6
2929
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
3030
refs/tags/homu-tmp: a5286998df566e736b32f6795bfc3803bdaf453d
3131
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
32-
refs/heads/stable: 75a3e29042059c7481358816d22f3a06aae53ba6
32+
refs/heads/stable: b8fedad89b8ea7af2062a581428e1999bf3dfac7
3333
refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375

branches/stable/src/compiletest/compiletest.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -269,7 +269,7 @@ pub fn test_opts(config: &Config) -> test::TestOpts {
269269
run_ignored: config.run_ignored,
270270
logfile: config.logfile.clone(),
271271
run_tests: true,
272-
run_benchmarks: true,
272+
bench_benchmarks: true,
273273
nocapture: env::var("RUST_TEST_NOCAPTURE").is_ok(),
274274
color: test::AutoColor,
275275
}

branches/stable/src/doc/reference.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2044,21 +2044,21 @@ A complete list of the built-in language items will be added in the future.
20442044

20452045
### Inline attributes
20462046

2047-
The inline attribute is used to suggest to the compiler to perform an inline
2048-
expansion and place a copy of the function or static in the caller rather than
2049-
generating code to call the function or access the static where it is defined.
2047+
The inline attribute suggests that the compiler should place a copy of
2048+
the function or static in the caller, rather than generating code to
2049+
call the function or access the static where it is defined.
20502050

20512051
The compiler automatically inlines functions based on internal heuristics.
2052-
Incorrectly inlining functions can actually making the program slower, so it
2052+
Incorrectly inlining functions can actually make the program slower, so it
20532053
should be used with care.
20542054

20552055
Immutable statics are always considered inlineable unless marked with
20562056
`#[inline(never)]`. It is undefined whether two different inlineable statics
20572057
have the same memory address. In other words, the compiler is free to collapse
20582058
duplicate inlineable statics together.
20592059

2060-
`#[inline]` and `#[inline(always)]` always causes the function to be serialized
2061-
into crate metadata to allow cross-crate inlining.
2060+
`#[inline]` and `#[inline(always)]` always cause the function to be serialized
2061+
into the crate metadata to allow cross-crate inlining.
20622062

20632063
There are three different types of inline attributes:
20642064

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

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,11 @@ want to dive in with a project, or ‘Syntax and Semantics’ if you prefer to
4040
start small, and learn a single concept thoroughly before moving onto the next.
4141
Copious cross-linking connects these parts together.
4242

43+
### Contributing
44+
45+
The source files from which this book is generated can be found on Github:
46+
[github.com/rust-lang/rust/tree/master/src/doc/trpl](https://github.com/rust-lang/rust/tree/master/src/doc/trpl)
47+
4348
## A brief introduction to Rust
4449

4550
Is Rust a language you might be interested in? Let’s examine a few small code

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,5 +64,6 @@
6464
* [Benchmark Tests](benchmark-tests.md)
6565
* [Box Syntax and Patterns](box-syntax-and-patterns.md)
6666
* [Slice Patterns](slice-patterns.md)
67+
* [Associated Constants](associated-constants.md)
6768
* [Glossary](glossary.md)
6869
* [Academic Research](academic-research.md)
Lines changed: 79 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,79 @@
1+
% Associated Constants
2+
3+
With the `associated_consts` feature, you can define constants like this:
4+
5+
```rust
6+
#![feature(associated_consts)]
7+
8+
trait Foo {
9+
const ID: i32;
10+
}
11+
12+
impl Foo for i32 {
13+
const ID: i32 = 1;
14+
}
15+
16+
fn main() {
17+
assert_eq!(1, i32::ID);
18+
}
19+
```
20+
21+
Any implementor of `Foo` will have to define `ID`. Without the definition:
22+
23+
```rust,ignore
24+
#![feature(associated_consts)]
25+
26+
trait Foo {
27+
const ID: i32;
28+
}
29+
30+
impl Foo for i32 {
31+
}
32+
```
33+
34+
gives
35+
36+
```text
37+
error: not all trait items implemented, missing: `ID` [E0046]
38+
impl Foo for i32 {
39+
}
40+
```
41+
42+
A default value can be implemented as well:
43+
44+
```rust
45+
#![feature(associated_consts)]
46+
47+
trait Foo {
48+
const ID: i32 = 1;
49+
}
50+
51+
impl Foo for i32 {
52+
}
53+
54+
impl Foo for i64 {
55+
const ID: i32 = 5;
56+
}
57+
58+
fn main() {
59+
assert_eq!(1, i32::ID);
60+
assert_eq!(5, i64::ID);
61+
}
62+
```
63+
64+
As you can see, when implementing `Foo`, you can leave it unimplemented, as
65+
with `i32`. It will then use the default value. But, as in `i64`, we can also
66+
add our own definition.
67+
68+
Associated constants don’t have to be associated with a trait. An `impl` block
69+
for a `struct` works fine too:
70+
71+
```rust
72+
#![feature(associated_consts)]
73+
74+
struct Foo;
75+
76+
impl Foo {
77+
pub const FOO: u32 = 3;
78+
}
79+
```

branches/stable/src/libcollections/slice.rs

Lines changed: 2 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1004,11 +1004,7 @@ pub trait SliceConcatExt<T: ?Sized, U> {
10041004
/// # Examples
10051005
///
10061006
/// ```
1007-
/// let v = vec!["hello", "world"];
1008-
///
1009-
/// let s: String = v.concat();
1010-
///
1011-
/// println!("{}", s); // prints "helloworld"
1007+
/// assert_eq!(["hello", "world"].concat(), "helloworld");
10121008
/// ```
10131009
#[stable(feature = "rust1", since = "1.0.0")]
10141010
fn concat(&self) -> U;
@@ -1018,11 +1014,7 @@ pub trait SliceConcatExt<T: ?Sized, U> {
10181014
/// # Examples
10191015
///
10201016
/// ```
1021-
/// let v = vec!["hello", "world"];
1022-
///
1023-
/// let s: String = v.connect(" ");
1024-
///
1025-
/// println!("{}", s); // prints "hello world"
1017+
/// assert_eq!(["hello", "world"].connect(" "), "hello world");
10261018
/// ```
10271019
#[stable(feature = "rust1", since = "1.0.0")]
10281020
fn connect(&self, sep: &T) -> U;

branches/stable/src/libcollections/vec.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1777,6 +1777,11 @@ impl<T> Iterator for IntoIter<T> {
17771777
let exact = diff / (if size == 0 {1} else {size});
17781778
(exact, Some(exact))
17791779
}
1780+
1781+
#[inline]
1782+
fn count(self) -> usize {
1783+
self.size_hint().0
1784+
}
17801785
}
17811786

17821787
#[stable(feature = "rust1", since = "1.0.0")]

branches/stable/src/libcollectionstest/vec.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -542,6 +542,11 @@ fn test_split_off() {
542542
assert_eq!(vec2, [5, 6]);
543543
}
544544

545+
#[test]
546+
fn test_into_iter_count() {
547+
assert_eq!(vec![1, 2, 3].into_iter().count(), 3);
548+
}
549+
545550
#[bench]
546551
fn bench_new(b: &mut Bencher) {
547552
b.iter(|| {

branches/stable/src/libcore/cell.rs

Lines changed: 32 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -144,7 +144,7 @@
144144
use clone::Clone;
145145
use cmp::PartialEq;
146146
use default::Default;
147-
use marker::{Copy, Send, Sync};
147+
use marker::{Copy, Send, Sync, Sized};
148148
use ops::{Deref, DerefMut, Drop};
149149
use option::Option;
150150
use option::Option::{None, Some};
@@ -266,9 +266,9 @@ impl<T:PartialEq + Copy> PartialEq for Cell<T> {
266266
///
267267
/// See the [module-level documentation](index.html) for more.
268268
#[stable(feature = "rust1", since = "1.0.0")]
269-
pub struct RefCell<T> {
270-
value: UnsafeCell<T>,
269+
pub struct RefCell<T: ?Sized> {
271270
borrow: Cell<BorrowFlag>,
271+
value: UnsafeCell<T>,
272272
}
273273

274274
/// An enumeration of values returned from the `state` method on a `RefCell<T>`.
@@ -328,7 +328,9 @@ impl<T> RefCell<T> {
328328
debug_assert!(self.borrow.get() == UNUSED);
329329
unsafe { self.value.into_inner() }
330330
}
331+
}
331332

333+
impl<T: ?Sized> RefCell<T> {
332334
/// Query the current state of this `RefCell`
333335
///
334336
/// The returned value can be dispatched on to determine if a call to
@@ -449,7 +451,7 @@ impl<T> RefCell<T> {
449451
}
450452

451453
#[stable(feature = "rust1", since = "1.0.0")]
452-
unsafe impl<T> Send for RefCell<T> where T: Send {}
454+
unsafe impl<T: ?Sized> Send for RefCell<T> where T: Send {}
453455

454456
#[stable(feature = "rust1", since = "1.0.0")]
455457
impl<T: Clone> Clone for RefCell<T> {
@@ -469,7 +471,7 @@ impl<T:Default> Default for RefCell<T> {
469471
}
470472

471473
#[stable(feature = "rust1", since = "1.0.0")]
472-
impl<T: PartialEq> PartialEq for RefCell<T> {
474+
impl<T: ?Sized + PartialEq> PartialEq for RefCell<T> {
473475
#[inline]
474476
fn eq(&self, other: &RefCell<T>) -> bool {
475477
*self.borrow() == *other.borrow()
@@ -519,15 +521,15 @@ impl<'b> Clone for BorrowRef<'b> {
519521
///
520522
/// See the [module-level documentation](index.html) for more.
521523
#[stable(feature = "rust1", since = "1.0.0")]
522-
pub struct Ref<'b, T:'b> {
524+
pub struct Ref<'b, T: ?Sized + 'b> {
523525
// FIXME #12808: strange name to try to avoid interfering with
524526
// field accesses of the contained type via Deref
525527
_value: &'b T,
526528
_borrow: BorrowRef<'b>,
527529
}
528530

529531
#[stable(feature = "rust1", since = "1.0.0")]
530-
impl<'b, T> Deref for Ref<'b, T> {
532+
impl<'b, T: ?Sized> Deref for Ref<'b, T> {
531533
type Target = T;
532534

533535
#[inline]
@@ -582,15 +584,15 @@ impl<'b> BorrowRefMut<'b> {
582584
///
583585
/// See the [module-level documentation](index.html) for more.
584586
#[stable(feature = "rust1", since = "1.0.0")]
585-
pub struct RefMut<'b, T:'b> {
587+
pub struct RefMut<'b, T: ?Sized + 'b> {
586588
// FIXME #12808: strange name to try to avoid interfering with
587589
// field accesses of the contained type via Deref
588590
_value: &'b mut T,
589591
_borrow: BorrowRefMut<'b>,
590592
}
591593

592594
#[stable(feature = "rust1", since = "1.0.0")]
593-
impl<'b, T> Deref for RefMut<'b, T> {
595+
impl<'b, T: ?Sized> Deref for RefMut<'b, T> {
594596
type Target = T;
595597

596598
#[inline]
@@ -600,7 +602,7 @@ impl<'b, T> Deref for RefMut<'b, T> {
600602
}
601603

602604
#[stable(feature = "rust1", since = "1.0.0")]
603-
impl<'b, T> DerefMut for RefMut<'b, T> {
605+
impl<'b, T: ?Sized> DerefMut for RefMut<'b, T> {
604606
#[inline]
605607
fn deref_mut<'a>(&'a mut self) -> &'a mut T {
606608
self._value
@@ -633,7 +635,7 @@ impl<'b, T> DerefMut for RefMut<'b, T> {
633635
/// recommended to access its fields directly, `get` should be used instead.
634636
#[lang="unsafe_cell"]
635637
#[stable(feature = "rust1", since = "1.0.0")]
636-
pub struct UnsafeCell<T> {
638+
pub struct UnsafeCell<T: ?Sized> {
637639
/// Wrapped value
638640
///
639641
/// This field should not be accessed directly, it is made public for static
@@ -642,7 +644,7 @@ pub struct UnsafeCell<T> {
642644
pub value: T,
643645
}
644646

645-
impl<T> !Sync for UnsafeCell<T> {}
647+
impl<T: ?Sized> !Sync for UnsafeCell<T> {}
646648

647649
impl<T> UnsafeCell<T> {
648650
/// Constructs a new instance of `UnsafeCell` which will wrap the specified
@@ -664,7 +666,12 @@ impl<T> UnsafeCell<T> {
664666
UnsafeCell { value: value }
665667
}
666668

667-
/// Gets a mutable pointer to the wrapped value.
669+
/// Unwraps the value.
670+
///
671+
/// # Unsafety
672+
///
673+
/// This function is unsafe because there is no guarantee that this or other threads are
674+
/// currently inspecting the inner value.
668675
///
669676
/// # Examples
670677
///
@@ -673,22 +680,15 @@ impl<T> UnsafeCell<T> {
673680
///
674681
/// let uc = UnsafeCell::new(5);
675682
///
676-
/// let five = uc.get();
683+
/// let five = unsafe { uc.into_inner() };
677684
/// ```
678685
#[inline]
679686
#[stable(feature = "rust1", since = "1.0.0")]
680-
pub fn get(&self) -> *mut T {
681-
// FIXME(#23542) Replace with type ascription.
682-
#![allow(trivial_casts)]
683-
&self.value as *const T as *mut T
684-
}
687+
pub unsafe fn into_inner(self) -> T { self.value }
688+
}
685689

686-
/// Unwraps the value.
687-
///
688-
/// # Unsafety
689-
///
690-
/// This function is unsafe because there is no guarantee that this or other threads are
691-
/// currently inspecting the inner value.
690+
impl<T: ?Sized> UnsafeCell<T> {
691+
/// Gets a mutable pointer to the wrapped value.
692692
///
693693
/// # Examples
694694
///
@@ -697,9 +697,14 @@ impl<T> UnsafeCell<T> {
697697
///
698698
/// let uc = UnsafeCell::new(5);
699699
///
700-
/// let five = unsafe { uc.into_inner() };
700+
/// let five = uc.get();
701701
/// ```
702702
#[inline]
703703
#[stable(feature = "rust1", since = "1.0.0")]
704-
pub unsafe fn into_inner(self) -> T { self.value }
704+
pub fn get(&self) -> *mut T {
705+
// FIXME(#23542) Replace with type ascription.
706+
#![allow(trivial_casts)]
707+
&self.value as *const T as *mut T
708+
}
709+
705710
}

branches/stable/src/libcore/fmt/mod.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1062,7 +1062,7 @@ impl<T: Copy + Debug> Debug for Cell<T> {
10621062
}
10631063

10641064
#[stable(feature = "rust1", since = "1.0.0")]
1065-
impl<T: Debug> Debug for RefCell<T> {
1065+
impl<T: ?Sized + Debug> Debug for RefCell<T> {
10661066
fn fmt(&self, f: &mut Formatter) -> Result {
10671067
match self.borrow_state() {
10681068
BorrowState::Unused | BorrowState::Reading => {
@@ -1074,14 +1074,14 @@ impl<T: Debug> Debug for RefCell<T> {
10741074
}
10751075

10761076
#[stable(feature = "rust1", since = "1.0.0")]
1077-
impl<'b, T: Debug> Debug for Ref<'b, T> {
1077+
impl<'b, T: ?Sized + Debug> Debug for Ref<'b, T> {
10781078
fn fmt(&self, f: &mut Formatter) -> Result {
10791079
Debug::fmt(&**self, f)
10801080
}
10811081
}
10821082

10831083
#[stable(feature = "rust1", since = "1.0.0")]
1084-
impl<'b, T: Debug> Debug for RefMut<'b, T> {
1084+
impl<'b, T: ?Sized + Debug> Debug for RefMut<'b, T> {
10851085
fn fmt(&self, f: &mut Formatter) -> Result {
10861086
Debug::fmt(&*(self.deref()), f)
10871087
}

0 commit comments

Comments
 (0)