Fix coerce-to-bang test

varkor · varkor · commit 5a013b2fbcd2 · 2018-05-01T00:23:34.000+01:00
This was explicitly testing the behaviour which is now no longer permitted.
diff --git a/src/test/compile-fail/coerce-to-bang.rs b/src/test/compile-fail/coerce-to-bang.rs
@@ -56,9 +56,8 @@ fn call_foo_f() {
 }
 
 fn array_a() {
-    // Accepted: return is coerced to `!` just fine, and then `22` can be
-    // because we already diverged.
-    let x: [!; 2] = [return, 22];
+    // Accepted: return is coerced to `!` just fine, but `22` cannot be.
+    let x: [!; 2] = [return, 22]; //~ ERROR mismatched types
 }
 
 fn array_b() {

Original file line number	Diff line number	Diff line change
`@@ -56,9 +56,8 @@ fn call_foo_f() {`
`56`	`56`	`}`
`57`	`57`
`58`	`58`	`fn array_a() {`
`59`		- // Accepted: return is coerced to `!` just fine, and then `22` can be
`60`		`- // because we already diverged.`
`61`		`- let x: [!; 2] = [return, 22];`
	`59`	+ // Accepted: return is coerced to `!` just fine, but `22` cannot be.
	`60`	`+ let x: [!; 2] = [return, 22]; //~ ERROR mismatched types`
`62`	`61`	`}`
`63`	`62`
`64`	`63`	`fn array_b() {`