equality comparison of void types is known at compile time

closes #56

1 files changed, 19 insertions, 0 deletions

diff --git a/test/run_tests.cpp b/test/run_tests.cpp
index bd551d9294..7e616e0986 100644
--- a/test/run_tests.cpp
+++ b/test/run_tests.cpp
@@ -1605,6 +1605,25 @@ fn derp() {
 }
     )SOURCE", 1, ".tmp_source.zig:7:13: error: cannot assign to constant");
 
+    add_compile_fail_case("compare void with void is compile time known", R"SOURCE(
+const Foo = struct {
+    a: void,
+    b: i32,
+    c: void,
+};
+
+fn f() {
+    const foo = Foo {
+        .a = {},
+        .b = 1,
+        .c = {},
+    };
+    if (foo.a != {}) {
+        @unreachable();
+    }
+}
+    )SOURCE", 1, ".tmp_source.zig:14:15: error: condition is always false; unnecessary if statement");
+
 }
 
 //////////////////////////////////////////////////////////////////////////////