add a test for tuple coercions

Author: WaffleLapkin

tests/ui/tuple/coercion-never.rs

@@ -0,0 +1,14 @@
+// This test checks if tuple elements are a coercion site or not.
+// Note that the code here is a degenerate case, but you can get similar effects in real code, when
+// unifying match arms, for example.
+//
+// See also coercion-slice.rs
+
+fn main() {
+    let _: ((),) = (loop {},);
+
+    ((),) = (loop {},); //~ error: mismatched types
+
+    let x = (loop {},);
+    let _: ((),) = x; //~ error: mismatched types
+}

tests/ui/tuple/coercion-never.stderr

@@ -0,0 +1,25 @@
+error[E0308]: mismatched types
+  --> $DIR/coercion-never.rs:10:6
+   |
+LL |     ((),) = (loop {},);
+   |      ^^     ---------- this expression has type `(!,)`
+   |      |
+   |      expected `!`, found `()`
+   |
+   = note:   expected type `!`
+           found unit type `()`
+
+error[E0308]: mismatched types
+  --> $DIR/coercion-never.rs:13:20
+   |
+LL |     let _: ((),) = x;
+   |            -----   ^ expected `((),)`, found `(!,)`
+   |            |
+   |            expected due to this
+   |
+   = note: expected tuple `((),)`
+              found tuple `(!,)`
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0308`.

tests/ui/tuple/coercion-slice.rs

@@ -0,0 +1,12 @@
+// This test checks if tuple elements are a coercion site or not.
+// Note that the code here is a degenerate case, but you can get similar effects in real code, when
+// unifying match arms, for example.
+//
+// See also: coercion-never.rs
+
+fn main() {
+    let _: (&[u8],) = (&[],);
+
+    let y = (&[],);
+    let _: (&[u8],) = y; //~ error: mismatched types
+}

tests/ui/tuple/coercion-slice.stderr

@@ -0,0 +1,14 @@
+error[E0308]: mismatched types
+  --> $DIR/coercion-slice.rs:11:23
+   |
+LL |     let _: (&[u8],) = y;
+   |            --------   ^ expected `(&[u8],)`, found `(&[_; 0],)`
+   |            |
+   |            expected due to this
+   |
+   = note: expected tuple `(&[u8],)`
+              found tuple `(&[_; 0],)`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0308`.