1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/mismatched_types/trait-bounds-cant-coerce.rs b/src/test/ui/mismatched_types/trait-bounds-cant-coerce.rs
new file mode 100644
index 000000000..882533992
--- /dev/null
+++ b/src/test/ui/mismatched_types/trait-bounds-cant-coerce.rs
@@ -0,0 +1,16 @@
+trait Foo {
+    fn dummy(&self) { }
+}
+
+fn a(_x: Box<dyn Foo + Send>) {
+}
+
+fn c(x: Box<dyn Foo + Sync + Send>) {
+    a(x);
+}
+
+fn d(x: Box<dyn Foo>) {
+    a(x); //~ ERROR mismatched types [E0308]
+}
+
+fn main() { }