diff options
| author | mlugg <mlugg@mlugg.co.uk> | 2025-03-22 01:58:13 +0000 |
|---|---|---|
| committer | Matthew Lugg <mlugg@mlugg.co.uk> | 2025-03-24 04:32:45 +0000 |
| commit | 26fdb81c16760b5aabbd1905ef96cefdf596fc3d (patch) | |
| tree | 1468581a8ea931bdc0ae4ad1ca962b682ec95901 /src/Value.zig | |
| parent | 98640cbeb8a714a451821a51f3aa4ebbd488d291 (diff) | |
| download | zig-26fdb81c16760b5aabbd1905ef96cefdf596fc3d.tar.gz zig-26fdb81c16760b5aabbd1905ef96cefdf596fc3d.zip | |
Sema: fix in-memory coercion of functions introducing new generic parameters
While it is not allowed for a function coercion to change whether a
function is generic, it *is* okay to make existing concrete parameters
of a generic function also generic, or vice versa. Either of these cases
implies that the result is a generic function, so comptime type checks
will happen when the function is ultimately called.
Resolves: #21099
Diffstat (limited to 'src/Value.zig')
0 files changed, 0 insertions, 0 deletions