From 06a237fe2c3b83d26bd4b5aa74dc9aa47a07d9a9 Mon Sep 17 00:00:00 2001
From: Bastian Kauschke <bastian_kauschke@hotmail.de>
Date: Sat, 30 May 2020 20:54:14 +0200
Subject: [PATCH] coerce reborrow multi arg test

---
 .../ui/coercion/coerce-reborrow-multi-arg-fail.rs    |  6 ++++++
 .../coercion/coerce-reborrow-multi-arg-fail.stderr   | 12 ++++++++++++
 src/test/ui/coercion/coerce-reborrow-multi-arg.rs    |  9 +++++++++
 3 files changed, 27 insertions(+)
 create mode 100644 src/test/ui/coercion/coerce-reborrow-multi-arg-fail.rs
 create mode 100644 src/test/ui/coercion/coerce-reborrow-multi-arg-fail.stderr
 create mode 100644 src/test/ui/coercion/coerce-reborrow-multi-arg.rs

diff --git a/src/test/ui/coercion/coerce-reborrow-multi-arg-fail.rs b/src/test/ui/coercion/coerce-reborrow-multi-arg-fail.rs
new file mode 100644
index 00000000000..48be2d3146b
--- /dev/null
+++ b/src/test/ui/coercion/coerce-reborrow-multi-arg-fail.rs
@@ -0,0 +1,6 @@
+fn test<T>(_a: T, _b: T) {}
+
+fn main() {
+    test(&mut 7, &7);
+    //~^ mismatched types
+}
diff --git a/src/test/ui/coercion/coerce-reborrow-multi-arg-fail.stderr b/src/test/ui/coercion/coerce-reborrow-multi-arg-fail.stderr
new file mode 100644
index 00000000000..59b0ec496f1
--- /dev/null
+++ b/src/test/ui/coercion/coerce-reborrow-multi-arg-fail.stderr
@@ -0,0 +1,12 @@
+error[E0308]: mismatched types
+  --> $DIR/coerce-reborrow-multi-arg-fail.rs:4:18
+   |
+LL |     test(&mut 7, &7);
+   |                  ^^ types differ in mutability
+   |
+   = note: expected mutable reference `&mut {integer}`
+                      found reference `&{integer}`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0308`.
diff --git a/src/test/ui/coercion/coerce-reborrow-multi-arg.rs b/src/test/ui/coercion/coerce-reborrow-multi-arg.rs
new file mode 100644
index 00000000000..93cd0bb3e27
--- /dev/null
+++ b/src/test/ui/coercion/coerce-reborrow-multi-arg.rs
@@ -0,0 +1,9 @@
+// build-pass
+fn test<T>(_a: T, _b: T) {}
+
+fn main() {
+    test(&7, &7);
+    test(&7, &mut 7);
+    test::<&i32>(&mut 7, &7);
+    test::<&i32>(&mut 7, &mut 7);
+}
-- 
2.44.0