Sema: handle anytype parameter requiring comptime

Closes #13645

1 files changed, 20 insertions, 0 deletions

diff --git a/test/cases/compile_errors/anytype_param_requires_comptime.zig b/test/cases/compile_errors/anytype_param_requires_comptime.zig
new file mode 100644
index 0000000000..3e2b32b408
--- /dev/null
+++ b/test/cases/compile_errors/anytype_param_requires_comptime.zig
@@ -0,0 +1,20 @@
+const S = struct {
+    fn foo(b: u32, c: anytype) void {
+        const C = struct {
+            c: @TypeOf(c),
+            b: u32,
+        };
+        bar(C{ .c = c, .b = b });
+    }
+    fn bar(_: anytype) void {}
+};
+pub export fn entry() void {
+    S.foo(0, u32);
+}
+
+// error
+// backend=stage2
+// target=native
+//
+// :7:14: error: unable to resolve comptime value
+// :7:14: note: argument to parameter with comptime-only type must be comptime-known