diff options
| author | Veikka Tuominen <git@vexu.eu> | 2022-10-27 13:40:20 +0300 |
|---|---|---|
| committer | Veikka Tuominen <git@vexu.eu> | 2022-10-27 13:40:20 +0300 |
| commit | 648d34d8eacaf2e35e336abd5b0c50c2ab9bfc94 (patch) | |
| tree | 3d211f9f81d98e1c6012f59325ec983f0a33d1ef /test/cases/compile_errors | |
| parent | b937a045607deae158ccb6a00f5defaf36510e61 (diff) | |
| download | zig-648d34d8eacaf2e35e336abd5b0c50c2ab9bfc94.tar.gz zig-648d34d8eacaf2e35e336abd5b0c50c2ab9bfc94.zip | |
Sema: coerce zero-bit generic args are coerced properly
Closes #13307
Diffstat (limited to 'test/cases/compile_errors')
| -rw-r--r-- | test/cases/compile_errors/zero-bit_generic_args_are_coerced_to_param_type.zig | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/cases/compile_errors/zero-bit_generic_args_are_coerced_to_param_type.zig b/test/cases/compile_errors/zero-bit_generic_args_are_coerced_to_param_type.zig new file mode 100644 index 0000000000..0288979084 --- /dev/null +++ b/test/cases/compile_errors/zero-bit_generic_args_are_coerced_to_param_type.zig @@ -0,0 +1,10 @@ +fn bar(a: anytype, _: @TypeOf(a)) void {} +pub export fn entry() void { + bar(@as(u0, 0), "fooo"); +} + +// error +// backend=stage2 +// target=native +// +// :3:21: error: expected type 'u0', found '*const [4:0]u8' |