diff options
| author | Veikka Tuominen <git@vexu.eu> | 2023-01-22 17:26:32 +0200 |
|---|---|---|
| committer | Veikka Tuominen <git@vexu.eu> | 2023-01-30 15:20:16 +0200 |
| commit | 720d82721fa6013b2e7e7ff2866db9404bfd2901 (patch) | |
| tree | 6ce2b7bb0e2a7134073d47c22fc30739475a5059 /src | |
| parent | 92dfc07489c3f8514792434e2857b419ebf1f208 (diff) | |
| download | zig-720d82721fa6013b2e7e7ff2866db9404bfd2901.tar.gz zig-720d82721fa6013b2e7e7ff2866db9404bfd2901.zip | |
Sema: ensure args to inline comptime args are comptime-known
Closes #14413
Diffstat (limited to 'src')
| -rw-r--r-- | src/Sema.zig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Sema.zig b/src/Sema.zig index 9c553a0092..3b744a4f78 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -6879,6 +6879,8 @@ fn analyzeInlineCallArg( if (err == error.AnalysisFail and param_block.comptime_reason != null) try param_block.comptime_reason.?.explain(sema, sema.err); return err; }; + } else if (!is_comptime_call and zir_tags[inst] == .param_comptime) { + _ = try sema.resolveConstMaybeUndefVal(arg_block, arg_src, uncasted_arg, "parameter is comptime"); } const casted_arg = sema.coerceExtra(arg_block, param_ty, uncasted_arg, arg_src, .{ .param_src = .{ .func_inst = func_inst, @@ -6952,6 +6954,9 @@ fn analyzeInlineCallArg( .val = arg_val, }; } else { + if (zir_tags[inst] == .param_anytype_comptime) { + _ = try sema.resolveConstMaybeUndefVal(arg_block, arg_src, uncasted_arg, "parameter is comptime"); + } sema.inst_map.putAssumeCapacityNoClobber(inst, uncasted_arg); } |