1 files changed, 47 insertions, 0 deletions
diff --git a/src/test/ui/kindck/kindck-impl-type-params.rs b/src/test/ui/kindck/kindck-impl-type-params.rs
new file mode 100644
index 000000000..72a6599c3
--- /dev/null
+++ b/src/test/ui/kindck/kindck-impl-type-params.rs
@@ -0,0 +1,47 @@
+// Issue #14061: tests the interaction between generic implementation
+// parameter bounds and trait objects.
+
+use std::marker;
+
+struct S<T>(marker::PhantomData<T>);
+
+trait Gettable<T> {
+    fn get(&self) -> T { panic!() }
+}
+
+impl<T: Send + Copy + 'static> Gettable<T> for S<T> {}
+
+fn f<T>(val: T) {
+    let t: S<T> = S(marker::PhantomData);
+    let a = &t as &dyn Gettable<T>;
+    //~^ ERROR `T` cannot be sent between threads safely
+    //~| ERROR : Copy` is not satisfied
+}
+
+fn g<T>(val: T) {
+    let t: S<T> = S(marker::PhantomData);
+    let a: &dyn Gettable<T> = &t;
+    //~^ ERROR `T` cannot be sent between threads safely
+    //~| ERROR : Copy` is not satisfied
+}
+
+fn foo<'a>() {
+    let t: S<&'a isize> = S(marker::PhantomData);
+    let a = &t as &dyn Gettable<&'a isize>;
+}
+
+fn foo2<'a>() {
+    let t: Box<S<String>> = Box::new(S(marker::PhantomData));
+    let a = t as Box<dyn Gettable<String>>;
+    //~^ ERROR : Copy` is not satisfied
+}
+
+fn foo3<'a>() {
+    struct Foo; // does not impl Copy
+
+    let t: Box<S<Foo>> = Box::new(S(marker::PhantomData));
+    let a: Box<dyn Gettable<Foo>> = t;
+    //~^ ERROR : Copy` is not satisfied
+}
+
+fn main() { }