1export fn entry1() void {
 2    const y: [:1]const u8 = &[_:2]u8{ 1, 2 };
 3    _ = y;
 4}
 5export 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'