export fn foo() void { comptime var a: u8 = 0; _ = [0:&a]*u8; } export fn bar() void { comptime var a: u8 = 0; _ = @Type(.{ .array = .{ .child = *u8, .len = 0, .sentinel_ptr = @ptrCast(&&a), } }); } export fn baz() void { comptime var a: u8 = 0; _ = [:&a]*u8; } export fn qux() void { comptime var a: u8 = 0; _ = @Type(.{ .pointer = .{ .size = .many, .is_const = false, .is_volatile = false, .alignment = @alignOf(u8), .address_space = .generic, .child = *u8, .is_allowzero = false, .sentinel_ptr = @ptrCast(&&a), } }); } // error // // :3:12: error: sentinel contains reference to comptime var // :2:14: note: 'sentinel' points to comptime var declared here // :7:9: error: sentinel contains reference to comptime var // :6:14: note: 'sentinel_ptr' points to comptime var declared here // :16:11: error: sentinel contains reference to comptime var // :15:14: note: 'sentinel' points to comptime var declared here // :20:9: error: sentinel contains reference to comptime var // :19:14: note: 'sentinel_ptr' points to comptime var declared here