1 files changed, 8 insertions, 0 deletions
diff --git a/src/test/ui/type/type-shadow.rs b/src/test/ui/type/type-shadow.rs
new file mode 100644
index 000000000..48a68a390
--- /dev/null
+++ b/src/test/ui/type/type-shadow.rs
@@ -0,0 +1,8 @@
+fn main() {
+    type X = isize;
+    type Y = X;
+    if true {
+        type X = &'static str;
+        let y: Y = "hello"; //~ ERROR mismatched types
+    }
+}