From 5a013b2fbcd2eebc8345ccd1611e39b867b4c1f8 Mon Sep 17 00:00:00 2001
From: varkor <github@varkor.com>
Date: Tue, 1 May 2018 00:23:34 +0100
Subject: [PATCH] Fix coerce-to-bang test

This was explicitly testing the behaviour which is now no longer permitted.
---
 src/test/compile-fail/coerce-to-bang.rs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/test/compile-fail/coerce-to-bang.rs b/src/test/compile-fail/coerce-to-bang.rs
index 62ff09f4616b..4a0e31d2deb4 100644
--- 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() {