1export fn a() void {
 2    for (.{}) |*_| {}
 3}
 4
 5export fn b() void {
 6    switch (0) {
 7        else => |*_| {},
 8    }
 9}
10
11export fn c() void {
12    if (null) |*_| {}
13}
14
15export fn d() void {
16    while (null) |*_| {}
17}
18
19// error
20//
21// :2:16: error: pointer modifier invalid on discard
22// :7:18: error: pointer modifier invalid on discard
23// :12:16: error: pointer modifier invalid on discard
24// :16:19: error: pointer modifier invalid on discard