fix @typeInfo unable to distinguish compile error vs no-payload

closes #1421
closes #1426

1 files changed, 17 insertions, 0 deletions

diff --git a/test/compile_errors.zig b/test/compile_errors.zig
index 56b2c51d74..d0795c4550 100644
--- a/test/compile_errors.zig
+++ b/test/compile_errors.zig
@@ -2,6 +2,23 @@ const tests = @import("tests.zig");
 
 pub fn addCases(cases: *tests.CompileErrorContext) void {
     cases.add(
+        "@typeInfo causing depend on itself compile error",
+        \\const start = struct {
+        \\    fn crash() bug() {
+        \\        return bug;
+        \\    }
+        \\};
+        \\fn bug() void {
+        \\    _ = @typeInfo(start).Struct;
+        \\}
+        \\export fn entry() void {
+        \\    var boom = start.crash();
+        \\}
+    ,
+        ".tmp_source.zig:2:5: error: 'crash' depends on itself",
+    );
+
+    cases.add(
         "@handle() called outside of function definition",
         \\var handle_undef: promise = undefined;
         \\var handle_dummy: promise = @handle();