blob: e96363b9cdc4001bf1ad99547e1526018f6839e2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
fn f(b: bool) void {
const x : i32 = if (b) h: { break :h 1; };
_ = x;
}
fn g(b: bool) void {
const y = if (b) h: { break :h @as(i32, 1); };
_ = y;
}
fn h() void {
// https://github.com/ziglang/zig/issues/12743
const T = struct { oh_no: *u32 };
var x: T = if (false) {};
_ = x;
}
fn k(b: bool) void {
// block_ptr case
const T = struct { oh_no: u32 };
var x = if (b) blk: {
break :blk if (false) T{ .oh_no = 2 };
} else T{ .oh_no = 1 };
_ = x;
}
export fn entry() void {
f(true);
g(true);
h();
k(true);
}
// error
// backend=stage2
// target=native
//
// :2:21: error: incompatible types: 'i32' and 'void'
// :2:31: note: type 'i32' here
// :6:15: error: incompatible types: 'i32' and 'void'
// :6:25: note: type 'i32' here
// :12:16: error: expected type 'tmp.h.T', found 'void'
// :11:15: note: struct declared here
// :18:9: error: incompatible types: 'void' and 'tmp.k.T'
|
