update tests

Author: b-naber

src/test/ui/coercion/coerce-expect-unsized-ascribed.rs

@@ -1,29 +1,29 @@
 // A version of coerce-expect-unsized that uses type ascription.
 // Doesn't work so far, but supposed to work eventually
 
+// check-pass
+
 #![feature(box_syntax, type_ascription)]
 
 use std::fmt::Debug;
 
 pub fn main() {
-    let _ = box { [1, 2, 3] }: Box<[i32]>; //~ ERROR mismatched types
-    let _ = box if true { [1, 2, 3] } else { [1, 3, 4] }: Box<[i32]>; //~ ERROR mismatched types
+    let _ = box { [1, 2, 3] }: Box<[i32]>;
+    let _ = box if true { [1, 2, 3] } else { [1, 3, 4] }: Box<[i32]>;
     let _ = box match true { true => [1, 2, 3], false => [1, 3, 4] }: Box<[i32]>;
-    //~^ ERROR mismatched types
-    let _ = box { |x| (x as u8) }: Box<dyn Fn(i32) -> _>; //~ ERROR mismatched types
-    let _ = box if true { false } else { true }: Box<dyn Debug>; //~ ERROR mismatched types
-    let _ = box match true { true => 'a', false => 'b' }: Box<dyn Debug>; //~ ERROR mismatched types
+    let _ = box { |x| (x as u8) }: Box<dyn Fn(i32) -> _>;
+    let _ = box if true { false } else { true }: Box<dyn Debug>;
+    let _ = box match true { true => 'a', false => 'b' }: Box<dyn Debug>;
 
-    let _ = &{ [1, 2, 3] }: &[i32]; //~ ERROR mismatched types
-    let _ = &if true { [1, 2, 3] } else { [1, 3, 4] }: &[i32]; //~ ERROR mismatched types
+    let _ = &{ [1, 2, 3] }: &[i32];
+    let _ = &if true { [1, 2, 3] } else { [1, 3, 4] }: &[i32];
     let _ = &match true { true => [1, 2, 3], false => [1, 3, 4] }: &[i32];
-    //~^ ERROR mismatched types
-    let _ = &{ |x| (x as u8) }: &dyn Fn(i32) -> _; //~ ERROR mismatched types
-    let _ = &if true { false } else { true }: &dyn Debug; //~ ERROR mismatched types
-    let _ = &match true { true => 'a', false => 'b' }: &dyn Debug; //~ ERROR mismatched types
+    let _ = &{ |x| (x as u8) }: &dyn Fn(i32) -> _;
+    let _ = &if true { false } else { true }: &dyn Debug;
+    let _ = &match true { true => 'a', false => 'b' }: &dyn Debug;
 
-    let _ = Box::new([1, 2, 3]): Box<[i32]>; //~ ERROR mismatched types
-    let _ = Box::new(|x| (x as u8)): Box<dyn Fn(i32) -> _>; //~ ERROR mismatched types
+    let _ = Box::new([1, 2, 3]): Box<[i32]>;
+    let _ = Box::new(|x| (x as u8)): Box<dyn Fn(i32) -> _>;
 
     let _ = vec![
         Box::new(|x| (x as u8)),

src/test/ui/coercion/coerce-expect-unsized-ascribed.stderr

@@ -1,10 +1,9 @@
 #![feature(type_ascription)]
 
-// build-pass
-
 fn foo(_arg : [&[u32];3]) {}
 
 fn main() {
   let arr = [4,5,6];
   foo([&arr : &[u32]; 3]);
+  //~^ ERROR type ascriptions are not
 }

src/test/ui/coercion/type-ascription/coerce-array-repeat-in-fn-arg.rs

@@ -0,0 +1,8 @@
+error: type ascriptions are not allowed in lvalue contexts
+  --> $DIR/coerce-array-repeat-in-fn-arg.rs:7:8
+   |
+LL |   foo([&arr : &[u32]; 3]);
+   |        ^^^^^^^^^^^^^
+
+error: aborting due to previous error
+

src/test/ui/coercion/type-ascription/coerce-array-repeat-in-fn-arg.stderr

@@ -1,5 +1,3 @@
-// build-pass
-
 #![feature(type_ascription)]
 
 enum Foo<'a> {
@@ -10,4 +8,5 @@ enum Foo<'a> {
 fn main() {
   let arr = [4,5,6];
   let temp = Foo::A((10, &arr : &[u32]));
+  //~^ ERROR type ascriptions are not
 }

src/test/ui/coercion/type-ascription/coerce-enum-variant.rs

@@ -0,0 +1,8 @@
+error: type ascriptions are not allowed in lvalue contexts
+  --> $DIR/coerce-enum-variant.rs:10:26
+   |
+LL |   let temp = Foo::A((10, &arr : &[u32]));
+   |                          ^^^^^^^^^^^^^
+
+error: aborting due to previous error
+

src/test/ui/coercion/type-ascription/coerce-enum-variant.stderr

@@ -1,8 +1,6 @@
 // Here we test for coercions in struct fields of nested type ascriptions
 // inside a tuple using an unsized coercion and a coercion from &mut -> &
 
-// run-pass
-
 #![feature(type_ascription)]
 
 use std::any::type_name;
@@ -26,4 +24,5 @@ fn main() {
   let tup = (9, (3, &arr : &[u32]), &mut bar);
   assert_eq!(type_of(tup), "(i32, (i32, &[u32]), &mut coerce_struct_fields_pass_in_let_stmt::Bar)");
   let _ = Foo { _a : (9, (3, &arr : &[u32]), &mut bar) };
+  //~^ ERROR type ascriptions are not
 }

src/test/ui/coercion/type-ascription/coerce-struct-fields-pass-in-let-stmt.rs

@@ -0,0 +1,8 @@
+error: type ascriptions are not allowed in lvalue contexts
+  --> $DIR/coerce-struct-fields-pass-in-let-stmt.rs:26:30
+   |
+LL |   let _ = Foo { _a : (9, (3, &arr : &[u32]), &mut bar) };
+   |                              ^^^^^^^^^^^^^
+
+error: aborting due to previous error
+

src/test/ui/coercion/type-ascription/coerce-struct-fields-pass-in-let-stmt.stderr

@@ -1,9 +1,8 @@
-// build-pass
-
 #![feature(type_ascription)]
 
 fn foo<'a>(arg : &'a [u32; 3]) -> &'a [u32] {
   arg : &[u32]
+  //~^ ERROR type ascriptions are not
 }
 
 fn main() {

src/test/ui/coercion/type-ascription/coerce-to-unsized-in-return-expr.rs

@@ -0,0 +1,8 @@
+error: type ascriptions are not allowed in lvalue contexts
+  --> $DIR/coerce-to-unsized-in-return-expr.rs:4:3
+   |
+LL |   arg : &[u32]
+   |   ^^^^^^^^^^^^
+
+error: aborting due to previous error
+