Auto merge of #1633 - RalfJung:rustup, r=RalfJung

rustup; test sorting for provenance-correctness

rust-version

@@ -1 +1 @@
-172acf8f61018df3719e42e633ffd62ebecaa1e7
+828461b4b27c4a955587887936e54057efc5e2c1

tests/run-pass/vec.rs

@@ -130,6 +130,12 @@ fn push_str_ptr_stable() {
     assert_eq!(format!("{}", hello), "hello");
 }
 
+fn sort() {
+    let mut v = vec![1; 20];
+    v.push(0);
+    v.sort();
+}
+
 fn main() {
     assert_eq!(vec_reallocate().len(), 5);
 
@@ -154,4 +160,6 @@ fn main() {
     vec_extend_ptr_stable();
     vec_truncate_ptr_stable();
     push_str_ptr_stable();
+
+    sort();
 }