| 1 | export fn entry1() void { |
| 2 | const y: [:1]const u8 = &[_:2]u8{ 1, 2 }; |
| 3 | _ = y; |
| 4 | } |
| 5 | export fn entry2() void { |
| 6 | const x: [:2]const u8 = &.{ 1, 2 }; |
| 7 | const y: [:1]const u8 = x; |
| 8 | _ = y; |
| 9 | } |
| 10 | |
| 11 | // error |
| 12 | // |
| 13 | // :2:37: error: expected type '[2:1]u8', found '[2:2]u8' |
| 14 | // :2:37: note: array sentinel '2' cannot cast into array sentinel '1' |
| 15 | // :7:29: error: expected type '[:1]const u8', found '[:2]const u8' |
| 16 | // :7:29: note: pointer sentinel '2' cannot cast into pointer sentinel '1' |