Skip to content

Commit 5b901b3

Browse files
committed
---
yaml --- r: 228795 b: refs/heads/try c: 57f7fb6 h: refs/heads/master i: 228793: e8975d2 228791: dffe641 v: v3
1 parent 768170c commit 5b901b3

File tree

8 files changed

+117
-92
lines changed

8 files changed

+117
-92
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
---
22
refs/heads/master: aca2057ed5fb7af3f8905b2bc01f72fa001c35c8
33
refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
4-
refs/heads/try: f3bfbda665a41cdf2e1c14d5e25964ca28a0c27a
4+
refs/heads/try: 57f7fb60a8072fd11f8a496a0f06cdccdb7430e7
55
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
66
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
77
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try/src/doc/reference.md

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -591,8 +591,9 @@ always been designed to be compiled. For these reasons, this section assumes a
591591
compiler.
592592

593593
Rust's semantics obey a *phase distinction* between compile-time and
594-
run-time.[^phase-distinction] Those semantic rules that have a *static
595-
interpretation* govern the success or failure of compilation. Those semantics
594+
run-time.[^phase-distinction] Semantic rules that have a *static
595+
interpretation* govern the success or failure of compilation, while
596+
semantic rules
596597
that have a *dynamic interpretation* govern the behavior of the program at
597598
run-time.
598599

branches/try/src/libcollections/str.rs

Lines changed: 71 additions & 47 deletions
Original file line numberDiff line numberDiff line change
@@ -500,7 +500,7 @@ impl str {
500500
///
501501
/// # Unsafety
502502
///
503-
/// Caller must check both UTF-8 character boundaries and the boundaries
503+
/// Caller must check both UTF-8 sequence boundaries and the boundaries
504504
/// of the entire slice as
505505
/// well.
506506
///
@@ -526,15 +526,16 @@ impl str {
526526
core_str::StrExt::slice_mut_unchecked(self, begin, end)
527527
}
528528

529-
/// Returns a slice of the string from the character range [`begin`..`end`).
529+
/// Returns a slice of the string from the range [`begin`..`end`) where indices
530+
/// are counted in code points.
530531
///
531532
/// That is, start at the `begin`-th code point of the string and continue
532533
/// to the `end`-th code point. This does not detect or handle edge cases
533-
/// such as leaving a combining character as the first code point of the
534+
/// such as leaving a combining character as the first `char` of the
534535
/// string.
535536
///
536537
/// Due to the design of UTF-8, this operation is `O(end)`. Use slicing
537-
/// syntax if you want to use byte indices rather than codepoint indices.
538+
/// syntax if you want to use `O(1)` byte indices instead.
538539
///
539540
/// # Panics
540541
///
@@ -556,26 +557,26 @@ impl str {
556557
core_str::StrExt::slice_chars(self, begin, end)
557558
}
558559

559-
/// Given a byte position, return the next char and its index.
560+
/// Given a byte position, return the next code point and its index.
560561
///
561-
/// This can be used to iterate over the Unicode characters of a string.
562+
/// This can be used to iterate over the Unicode code points of a string.
562563
///
563564
/// # Panics
564565
///
565566
/// If `i` is greater than or equal to the length of the string.
566-
/// If `i` is not the index of the beginning of a valid UTF-8 character.
567+
/// If `i` is not the index of the beginning of a valid UTF-8 sequence.
567568
///
568569
/// # Examples
569570
///
570-
/// This example manually iterates through the characters of a string;
571+
/// This example manually iterates through the code points of a string;
571572
/// this should normally be
572573
/// done by `.chars()` or `.char_indices()`.
573574
///
574575
/// ```
575576
/// # #![feature(str_char, core)]
576577
/// use std::str::CharRange;
577578
///
578-
/// let s = "中华Việt Nam";
579+
/// let s = "中华Việt Nam";
579580
/// let mut i = 0;
580581
/// while i < s.len() {
581582
/// let CharRange {ch, next} = s.char_range_at(i);
@@ -591,12 +592,14 @@ impl str {
591592
/// 3: 华
592593
/// 6: V
593594
/// 7: i
594-
/// 8: ệ
595-
/// 11: t
596-
/// 12:
597-
/// 13: N
598-
/// 14: a
599-
/// 15: m
595+
/// 8: e
596+
/// 9: ̣
597+
/// 11: ̂
598+
/// 13: t
599+
/// 14:
600+
/// 15: N
601+
/// 16: a
602+
/// 17: m
600603
/// ```
601604
#[unstable(feature = "str_char",
602605
reason = "often replaced by char_indices, this method may \
@@ -608,26 +611,29 @@ impl str {
608611

609612
/// Given a byte position, return the previous `char` and its position.
610613
///
611-
/// This function can be used to iterate over a Unicode string in reverse.
614+
/// This function can be used to iterate over a Unicode code points in reverse.
615+
///
616+
/// Note that Unicode has many features, such as combining marks, ligatures,
617+
/// and direction marks, that need to be taken into account to correctly reverse a string.
612618
///
613619
/// Returns 0 for next index if called on start index 0.
614620
///
615621
/// # Panics
616622
///
617623
/// If `i` is greater than the length of the string.
618-
/// If `i` is not an index following a valid UTF-8 character.
624+
/// If `i` is not an index following a valid UTF-8 sequence.
619625
///
620626
/// # Examples
621627
///
622-
/// This example manually iterates through the characters of a string;
628+
/// This example manually iterates through the code points of a string;
623629
/// this should normally be
624630
/// done by `.chars().rev()` or `.char_indices()`.
625631
///
626632
/// ```
627633
/// # #![feature(str_char, core)]
628634
/// use std::str::CharRange;
629635
///
630-
/// let s = "中华Việt Nam";
636+
/// let s = "中华Việt Nam";
631637
/// let mut i = s.len();
632638
/// while i > 0 {
633639
/// let CharRange {ch, next} = s.char_range_at_reverse(i);
@@ -639,12 +645,14 @@ impl str {
639645
/// This outputs:
640646
///
641647
/// ```text
642-
/// 16: m
643-
/// 15: a
644-
/// 14: N
645-
/// 13:
646-
/// 12: t
647-
/// 11: ệ
648+
/// 18: m
649+
/// 17: a
650+
/// 16: N
651+
/// 15:
652+
/// 14: t
653+
/// 13: ̂
654+
/// 11: ̣
655+
/// 9: e
648656
/// 8: i
649657
/// 7: V
650658
/// 6: 华
@@ -663,7 +671,7 @@ impl str {
663671
/// # Panics
664672
///
665673
/// If `i` is greater than or equal to the length of the string.
666-
/// If `i` is not the index of the beginning of a valid UTF-8 character.
674+
/// If `i` is not the index of the beginning of a valid UTF-8 sequence.
667675
///
668676
/// # Examples
669677
///
@@ -672,6 +680,7 @@ impl str {
672680
/// let s = "abπc";
673681
/// assert_eq!(s.char_at(1), 'b');
674682
/// assert_eq!(s.char_at(2), 'π');
683+
/// assert_eq!(s.char_at(4), 'c');
675684
/// ```
676685
#[unstable(feature = "str_char",
677686
reason = "frequently replaced by the chars() iterator, this \
@@ -689,7 +698,7 @@ impl str {
689698
/// # Panics
690699
///
691700
/// If `i` is greater than the length of the string.
692-
/// If `i` is not an index following a valid UTF-8 character.
701+
/// If `i` is not an index following a valid UTF-8 sequence.
693702
///
694703
/// # Examples
695704
///
@@ -698,6 +707,7 @@ impl str {
698707
/// let s = "abπc";
699708
/// assert_eq!(s.char_at_reverse(1), 'a');
700709
/// assert_eq!(s.char_at_reverse(2), 'b');
710+
/// assert_eq!(s.char_at_reverse(3), 'π');
701711
/// ```
702712
#[unstable(feature = "str_char",
703713
reason = "see char_at for more details, but reverse semantics \
@@ -707,28 +717,30 @@ impl str {
707717
core_str::StrExt::char_at_reverse(self, i)
708718
}
709719

710-
/// Retrieves the first character from a `&str` and returns it.
720+
/// Retrieves the first code point from a `&str` and returns it.
721+
///
722+
/// Note that a single Unicode character (grapheme cluster)
723+
/// can be composed of multiple `char`s.
711724
///
712725
/// This does not allocate a new string; instead, it returns a slice that
713-
/// points one character
714-
/// beyond the character that was shifted.
726+
/// points one code point beyond the code point that was shifted.
715727
///
716-
/// If the slice does not contain any characters, None is returned instead.
728+
/// `None` is returned if the slice is empty.
717729
///
718730
/// # Examples
719731
///
720732
/// ```
721733
/// # #![feature(str_char)]
722-
/// let s = "Löwe 老虎 Léopard";
734+
/// let s = "Łódź"; // \u{141}o\u{301}dz\u{301}
723735
/// let (c, s1) = s.slice_shift_char().unwrap();
724736
///
725-
/// assert_eq!(c, 'L');
726-
/// assert_eq!(s1, "öwe 老虎 Léopard");
737+
/// assert_eq!(c, 'Ł');
738+
/// assert_eq!(s1, "ódź");
727739
///
728740
/// let (c, s2) = s1.slice_shift_char().unwrap();
729741
///
730-
/// assert_eq!(c, 'ö');
731-
/// assert_eq!(s2, "we 老虎 Léopard");
742+
/// assert_eq!(c, 'o');
743+
/// assert_eq!(s2, "\u{301}dz\u{301}");
732744
/// ```
733745
#[unstable(feature = "str_char",
734746
reason = "awaiting conventions about shifting and slices and \
@@ -741,14 +753,14 @@ impl str {
741753
/// Divide one string slice into two at an index.
742754
///
743755
/// The index `mid` is a byte offset from the start of the string
744-
/// that must be on a character boundary.
756+
/// that must be on a `char` boundary.
745757
///
746758
/// Return slices `&self[..mid]` and `&self[mid..]`.
747759
///
748760
/// # Panics
749761
///
750-
/// Panics if `mid` is beyond the last character of the string,
751-
/// or if it is not on a character boundary.
762+
/// Panics if `mid` is beyond the last code point of the string,
763+
/// or if it is not on a `char` boundary.
752764
///
753765
/// # Examples
754766
/// ```
@@ -773,27 +785,39 @@ impl str {
773785
core_str::StrExt::split_at_mut(self, mid)
774786
}
775787

776-
/// An iterator over the codepoints of `self`.
788+
/// An iterator over the code points of `self`.
789+
///
790+
/// In Unicode relationship between code points and characters is complex.
791+
/// A single character may be composed of multiple code points
792+
/// (e.g. diacritical marks added to a letter), and a single code point
793+
/// (e.g. Hangul syllable) may contain multiple characters.
794+
///
795+
/// For iteration over human-readable characters a grapheme cluster iterator
796+
/// may be more appropriate. See the [unicode-segmentation crate][1].
797+
///
798+
/// [1]: https://crates.io/crates/unicode-segmentation
777799
///
778800
/// # Examples
779801
///
780802
/// ```
781-
/// let v: Vec<char> = "abc åäö".chars().collect();
803+
/// let v: Vec<char> = "ASCII żółć 🇨🇭 한".chars().collect();
782804
///
783-
/// assert_eq!(v, ['a', 'b', 'c', ' ', 'å', 'ä', 'ö']);
805+
/// assert_eq!(v, ['A', 'S', 'C', 'I', 'I', ' ',
806+
/// 'z', '\u{307}', 'o', '\u{301}', 'ł', 'c', '\u{301}', ' ',
807+
/// '\u{1f1e8}', '\u{1f1ed}', ' ', '한']);
784808
/// ```
785809
#[stable(feature = "rust1", since = "1.0.0")]
786810
pub fn chars(&self) -> Chars {
787811
core_str::StrExt::chars(self)
788812
}
789813

790-
/// An iterator over the characters of `self` and their byte offsets.
814+
/// An iterator over the `char`s of `self` and their byte offsets.
791815
///
792816
/// # Examples
793817
///
794818
/// ```
795-
/// let v: Vec<(usize, char)> = "abc".char_indices().collect();
796-
/// let b = vec![(0, 'a'), (1, 'b'), (2, 'c')];
819+
/// let v: Vec<(usize, char)> = "A🇨🇭".char_indices().collect();
820+
/// let b = vec![(0, 'A'), (1, '\u{1f1e8}'), (5, '\u{1f1ed}')];
797821
///
798822
/// assert_eq!(v, b);
799823
/// ```
@@ -822,7 +846,7 @@ impl str {
822846
/// # Examples
823847
///
824848
/// ```
825-
/// let some_words = " Mary had\ta little \n\t lamb";
849+
/// let some_words = " Mary had\ta\u{2009}little \n\t lamb";
826850
/// let v: Vec<&str> = some_words.split_whitespace().collect();
827851
///
828852
/// assert_eq!(v, ["Mary", "had", "a", "little", "lamb"]);
@@ -840,7 +864,7 @@ impl str {
840864
/// ```
841865
/// # #![feature(str_words)]
842866
/// # #![allow(deprecated)]
843-
/// let some_words = " Mary had\ta little \n\t lamb";
867+
/// let some_words = " Mary had\ta\u{2009}little \n\t lamb";
844868
/// let v: Vec<&str> = some_words.words().collect();
845869
///
846870
/// assert_eq!(v, ["Mary", "had", "a", "little", "lamb"]);

branches/try/src/librustc/diagnostics.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -766,6 +766,9 @@ Example:
766766
```
767767
type X = u32; // this compiles
768768
```
769+
770+
Note that type parameters for enum-variant constructors go after the variant,
771+
not after the enum (Option::None::<u32>, not Option::<u32>::None).
769772
"##,
770773

771774
E0110: r##"

branches/try/src/librustc_typeck/check/mod.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2490,7 +2490,7 @@ fn check_argument_types<'a, 'tcx>(fcx: &FnCtxt<'a, 'tcx>,
24902490
// The special-cased logic below has three functions:
24912491
// 1. Provide as good of an expected type as possible.
24922492
let expected = expected_arg_tys.get(i).map(|&ty| {
2493-
Expectation::rvalue_hint(ty)
2493+
Expectation::rvalue_hint(fcx.tcx(), ty)
24942494
});
24952495

24962496
check_expr_with_unifier(fcx, &**arg,
@@ -3268,7 +3268,7 @@ fn check_expr_with_unifier<'a, 'tcx, F>(fcx: &FnCtxt<'a, 'tcx>,
32683268
match unop {
32693269
ast::UnUniq => match ty.sty {
32703270
ty::TyBox(ty) => {
3271-
Expectation::rvalue_hint(ty)
3271+
Expectation::rvalue_hint(tcx, ty)
32723272
}
32733273
_ => {
32743274
NoExpectation
@@ -3345,7 +3345,7 @@ fn check_expr_with_unifier<'a, 'tcx, F>(fcx: &FnCtxt<'a, 'tcx>,
33453345
// the last field of a struct can be unsized.
33463346
ExpectHasType(mt.ty)
33473347
} else {
3348-
Expectation::rvalue_hint(mt.ty)
3348+
Expectation::rvalue_hint(tcx, mt.ty)
33493349
}
33503350
}
33513351
_ => NoExpectation
@@ -3982,8 +3982,8 @@ impl<'tcx> Expectation<'tcx> {
39823982
/// which still is useful, because it informs integer literals and the like.
39833983
/// See the test case `test/run-pass/coerce-expect-unsized.rs` and #20169
39843984
/// for examples of where this comes up,.
3985-
fn rvalue_hint(ty: Ty<'tcx>) -> Expectation<'tcx> {
3986-
match ty.sty {
3985+
fn rvalue_hint(tcx: &ty::ctxt<'tcx>, ty: Ty<'tcx>) -> Expectation<'tcx> {
3986+
match tcx.struct_tail(ty).sty {
39873987
ty::TySlice(_) | ty::TyTrait(..) => {
39883988
ExpectRvalueLikeUnsized(ty)
39893989
}

branches/try/src/libstd/rand/os.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -185,7 +185,7 @@ mod imp {
185185
use io;
186186
use mem;
187187
use rand::Rng;
188-
use libc::{c_int, size_t};
188+
use libc::{c_int, c_void, size_t};
189189

190190
/// A random number generator that retrieves randomness straight from
191191
/// the operating system. Platform sources:
@@ -203,8 +203,9 @@ mod imp {
203203
_dummy: (),
204204
}
205205

206-
#[repr(C)]
207-
struct SecRandom;
206+
// Fake definition; this is actually a struct, but we don't use the
207+
// contents here.
208+
type SecRandom = c_void;
208209

209210
#[allow(non_upper_case_globals)]
210211
const kSecRandomDefault: *const SecRandom = 0 as *const SecRandom;

0 commit comments

Comments
 (0)