1 files changed, 8 insertions, 0 deletions
diff --git a/tests/ui/error-codes/E0437.rs b/tests/ui/error-codes/E0437.rs
new file mode 100644
index 00000000000..f8c15007d4e
--- /dev/null
+++ b/tests/ui/error-codes/E0437.rs
@@ -0,0 +1,8 @@
+trait Foo {}
+
+impl Foo for i32 {
+    type Bar = bool; //~ ERROR E0437
+}
+
+fn main () {
+}