Commit bf62cb453bb1e91cd0ed448de70bd4f076b81906 | zig

author	Veikka Tuominen <git@vexu.eu> 2022-11-25 02:05:58+02:00
committer	Veikka Tuominen <git@vexu.eu> 2022-11-26 18:05:27+02:00
log	bf62cb453bb1e91cd0ed448de70bd4f076b81906
tree	f889443716b7b02409be001a1f7aa273d741ddc8
parent	d0dd0bda1c8773243f98ac1e073afc32c4ce4cf2

Sema: handle anytype parameter requiring comptime

Closes #13645

2 files changed, 32 insertions(+), 7 deletions(-)

src
- Sema.zig
test
- cases
  - compile_errors
    anytype_param_requires_comptime.zig

src/Sema.zig+12-7

 @@ -7031,16 +7031,21 @@ fn instantiateGenericCall(
             }
             const arg = uncasted_args[arg_i];
             if (is_comptime) {
-                if (try sema.resolveMaybeUndefVal(arg)) |arg_val| {
+                const arg_val = (try sema.resolveMaybeUndefVal(arg)).?;
-                    const child_arg = try child_sema.addConstant(sema.typeOf(arg), arg_val);
+                const child_arg = try child_sema.addConstant(sema.typeOf(arg), arg_val);
-                    child_sema.inst_map.putAssumeCapacityNoClobber(inst, child_arg);
+                child_sema.inst_map.putAssumeCapacityNoClobber(inst, child_arg);
-                } else {
-                    return sema.failWithNeededComptime(block, .unneeded, "");
-                }
             } else if (is_anytype) {
                 const arg_ty = sema.typeOf(arg);
                 if (try sema.typeRequiresComptime(arg_ty)) {
-                    const arg_val = try sema.resolveConstValue(block, .unneeded, arg, "");
+                    const arg_val = sema.resolveConstValue(block, .unneeded, arg, "") catch |err| switch (err) {
+                        error.NeededSourceLocation => {
+                            const decl = sema.mod.declPtr(block.src_decl);
+                            const arg_src = Module.argSrc(call_src.node_offset.x, sema.gpa, decl, arg_i, bound_arg_src);
+                            _ = try sema.resolveConstValue(block, arg_src, arg, "argument to parameter with comptime-only type must be comptime-known");
+                            return error.AnalysisFail;
+                        },
+                        else => |e| return e,
+                    };
                     const child_arg = try child_sema.addConstant(arg_ty, arg_val);
                     child_sema.inst_map.putAssumeCapacityNoClobber(inst, child_arg);
                 } else {

test/cases/compile_errors/anytype_param_requires_comptime.zig created+20

...	@@ -0,0 +1,20 @@
1	const S = struct {
2	fn foo(b: u32, c: anytype) void {
3	const C = struct {
4	c: @TypeOf(c),
5	b: u32,
6	};
7	bar(C{ .c = c, .b = b });
8	}
9	fn bar(_: anytype) void {}
10	};
11	pub export fn entry() void {
12	S.foo(0, u32);
13	}
14
15	// error
16	// backend=stage2
17	// target=native
18	//
19	// :7:14: error: unable to resolve comptime value
20	// :7:14: note: argument to parameter with comptime-only type must be comptime-known