1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/ui/traits/coercion-generic-bad.rs b/src/test/ui/traits/coercion-generic-bad.rs
new file mode 100644
index 000000000..2e115c732
--- /dev/null
+++ b/src/test/ui/traits/coercion-generic-bad.rs
@@ -0,0 +1,19 @@
+struct Struct {
+    person: &'static str
+}
+
+trait Trait<T> {
+    fn f(&self, x: T);
+}
+
+impl Trait<&'static str> for Struct {
+    fn f(&self, x: &'static str) {
+        println!("Hello, {}!", x);
+    }
+}
+
+fn main() {
+    let s: Box<dyn Trait<isize>> = Box::new(Struct { person: "Fred" });
+    //~^ ERROR `Struct: Trait<isize>` is not satisfied
+    s.f(1);
+}