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
40
41
42
43
44
45
46
47
48
49
50
|
export fn foo() void {
comptime var a: u8 = 0;
_ = struct { comptime *u8 = &a };
}
export fn bar() void {
comptime var a: u8 = 0;
_ = @Type(.{ .@"struct" = .{
.layout = .auto,
.fields = &.{.{
.name = "0",
.type = *u8,
.default_value_ptr = @ptrCast(&&a),
.is_comptime = true,
.alignment = @alignOf(*u8),
}},
.decls = &.{},
.is_tuple = true,
} });
}
export fn baz() void {
comptime var a: u8 = 0;
_ = struct { foo: *u8 = &a };
}
export fn qux() void {
comptime var a: u8 = 0;
_ = @Type(.{ .@"struct" = .{
.layout = .auto,
.fields = &.{.{
.name = "foo",
.type = *u8,
.default_value_ptr = @ptrCast(&&a),
.is_comptime = false,
.alignment = @alignOf(*u8),
}},
.decls = &.{},
.is_tuple = false,
} });
}
// error
//
// :3:33: error: field default value contains reference to comptime var
// :2:14: note: '0' points to comptime var declared here
// :7:9: error: field default value contains reference to comptime var
// :6:14: note: '0' points to comptime var declared here
// :23:9: error: captured value contains reference to comptime var
// :22:14: note: 'a' points to comptime var declared here
// :27:9: error: field default value contains reference to comptime var
// :26:14: note: 'foo' points to comptime var declared here
|
