1 files changed, 7 insertions, 0 deletions
diff --git a/src/test/ui/type/type-params-in-different-spaces-3.rs b/src/test/ui/type/type-params-in-different-spaces-3.rs
new file mode 100644
index 000000000..ac7b0c11f
--- /dev/null
+++ b/src/test/ui/type/type-params-in-different-spaces-3.rs
@@ -0,0 +1,7 @@
+trait Tr : Sized {
+    fn test<X>(u: X) -> Self {
+        u   //~ ERROR mismatched types
+    }
+}
+
+fn main() {}