1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/type/type-params-in-different-spaces-2.rs b/src/test/ui/type/type-params-in-different-spaces-2.rs
new file mode 100644
index 000000000..1211e465b
--- /dev/null
+++ b/src/test/ui/type/type-params-in-different-spaces-2.rs
@@ -0,0 +1,21 @@
+// Test static calls to make sure that we align the Self and input
+// type parameters on a trait correctly.
+
+trait Tr<T> : Sized {
+    fn op(_: T) -> Self;
+}
+
+trait A:    Tr<Self> {
+    fn test<U>(u: U) -> Self {
+        Tr::op(u)   //~ ERROR E0277
+    }
+}
+
+trait B<T>: Tr<T> {
+    fn test<U>(u: U) -> Self {
+        Tr::op(u)   //~ ERROR E0277
+    }
+}
+
+fn main() {
+}