File tree 6 files changed +209
-26
lines changed
6 files changed +209
-26
lines changed Original file line number Diff line number Diff line change @@ -71,7 +71,9 @@ error: layout_of(E) = Layout {
71
71
abi: Align(4 bytes),
72
72
pref: $SOME_ALIGN,
73
73
},
74
- abi: Uninhabited,
74
+ abi: Memory {
75
+ sized: true,
76
+ },
75
77
fields: Arbitrary {
76
78
offsets: [
77
79
Size(4 bytes),
@@ -85,6 +87,7 @@ error: layout_of(E) = Layout {
85
87
],
86
88
},
87
89
largest_niche: None,
90
+ uninhabited: true,
88
91
variants: Single {
89
92
index: 1,
90
93
},
Original file line number Diff line number Diff line change @@ -4,7 +4,15 @@ error: layout_of(Univariant) = Layout {
4
4
abi: Align(4 bytes),
5
5
pref: $SOME_ALIGN,
6
6
},
7
- abi: Uninhabited,
7
+ abi: Scalar(
8
+ Initialized {
9
+ value: Int(
10
+ I32,
11
+ false,
12
+ ),
13
+ valid_range: 0..=0,
14
+ },
15
+ ),
8
16
fields: Arbitrary {
9
17
offsets: [
10
18
Size(0 bytes),
@@ -23,6 +31,7 @@ error: layout_of(Univariant) = Layout {
23
31
valid_range: 0..=0,
24
32
},
25
33
),
34
+ uninhabited: true,
26
35
variants: Multiple {
27
36
tag: Initialized {
28
37
value: Int(
@@ -40,7 +49,15 @@ error: layout_of(Univariant) = Layout {
40
49
abi: Align(4 bytes),
41
50
pref: $SOME_ALIGN,
42
51
},
43
- abi: Uninhabited,
52
+ abi: Scalar(
53
+ Initialized {
54
+ value: Int(
55
+ I32,
56
+ false,
57
+ ),
58
+ valid_range: 0..=0,
59
+ },
60
+ ),
44
61
fields: Arbitrary {
45
62
offsets: [
46
63
Size(4 bytes),
@@ -50,6 +67,7 @@ error: layout_of(Univariant) = Layout {
50
67
],
51
68
},
52
69
largest_niche: None,
70
+ uninhabited: true,
53
71
variants: Single {
54
72
index: 0,
55
73
},
@@ -120,12 +138,26 @@ error: layout_of(TwoVariants) = Layout {
120
138
tag_field: 0,
121
139
variants: [
122
140
Layout {
123
- size: Size(4 bytes),
141
+ size: Size(8 bytes),
124
142
align: AbiAndPrefAlign {
125
143
abi: Align(4 bytes),
126
144
pref: $SOME_ALIGN,
127
145
},
128
- abi: Uninhabited,
146
+ abi: ScalarPair(
147
+ Initialized {
148
+ value: Int(
149
+ I32,
150
+ false,
151
+ ),
152
+ valid_range: 0..=1,
153
+ },
154
+ Union {
155
+ value: Int(
156
+ I8,
157
+ false,
158
+ ),
159
+ },
160
+ ),
129
161
fields: Arbitrary {
130
162
offsets: [
131
163
Size(4 bytes),
@@ -135,6 +167,7 @@ error: layout_of(TwoVariants) = Layout {
135
167
],
136
168
},
137
169
largest_niche: None,
170
+ uninhabited: true,
138
171
variants: Single {
139
172
index: 0,
140
173
},
@@ -236,7 +269,9 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
236
269
abi: Align(8 bytes),
237
270
pref: $SOME_ALIGN,
238
271
},
239
- abi: Uninhabited,
272
+ abi: Memory {
273
+ sized: true,
274
+ },
240
275
fields: Arbitrary {
241
276
offsets: [
242
277
Size(8 bytes),
@@ -248,6 +283,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
248
283
],
249
284
},
250
285
largest_niche: None,
286
+ uninhabited: true,
251
287
variants: Single {
252
288
index: 0,
253
289
},
Original file line number Diff line number Diff line change @@ -4,7 +4,15 @@ error: layout_of(Univariant) = Layout {
4
4
abi: Align(1 bytes),
5
5
pref: $SOME_ALIGN,
6
6
},
7
- abi: Uninhabited,
7
+ abi: Scalar(
8
+ Initialized {
9
+ value: Int(
10
+ I8,
11
+ false,
12
+ ),
13
+ valid_range: 0..=0,
14
+ },
15
+ ),
8
16
fields: Arbitrary {
9
17
offsets: [
10
18
Size(0 bytes),
@@ -23,6 +31,7 @@ error: layout_of(Univariant) = Layout {
23
31
valid_range: 0..=0,
24
32
},
25
33
),
34
+ uninhabited: true,
26
35
variants: Multiple {
27
36
tag: Initialized {
28
37
value: Int(
@@ -40,7 +49,15 @@ error: layout_of(Univariant) = Layout {
40
49
abi: Align(1 bytes),
41
50
pref: $SOME_ALIGN,
42
51
},
43
- abi: Uninhabited,
52
+ abi: Scalar(
53
+ Initialized {
54
+ value: Int(
55
+ I8,
56
+ false,
57
+ ),
58
+ valid_range: 0..=0,
59
+ },
60
+ ),
44
61
fields: Arbitrary {
45
62
offsets: [
46
63
Size(1 bytes),
@@ -50,6 +67,7 @@ error: layout_of(Univariant) = Layout {
50
67
],
51
68
},
52
69
largest_niche: None,
70
+ uninhabited: true,
53
71
variants: Single {
54
72
index: 0,
55
73
},
@@ -120,12 +138,26 @@ error: layout_of(TwoVariants) = Layout {
120
138
tag_field: 0,
121
139
variants: [
122
140
Layout {
123
- size: Size(1 bytes),
141
+ size: Size(2 bytes),
124
142
align: AbiAndPrefAlign {
125
143
abi: Align(1 bytes),
126
144
pref: $SOME_ALIGN,
127
145
},
128
- abi: Uninhabited,
146
+ abi: ScalarPair(
147
+ Initialized {
148
+ value: Int(
149
+ I8,
150
+ false,
151
+ ),
152
+ valid_range: 0..=1,
153
+ },
154
+ Union {
155
+ value: Int(
156
+ I8,
157
+ false,
158
+ ),
159
+ },
160
+ ),
129
161
fields: Arbitrary {
130
162
offsets: [
131
163
Size(1 bytes),
@@ -135,6 +167,7 @@ error: layout_of(TwoVariants) = Layout {
135
167
],
136
168
},
137
169
largest_niche: None,
170
+ uninhabited: true,
138
171
variants: Single {
139
172
index: 0,
140
173
},
@@ -236,7 +269,9 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
236
269
abi: Align(8 bytes),
237
270
pref: $SOME_ALIGN,
238
271
},
239
- abi: Uninhabited,
272
+ abi: Memory {
273
+ sized: true,
274
+ },
240
275
fields: Arbitrary {
241
276
offsets: [
242
277
Size(8 bytes),
@@ -248,6 +283,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
248
283
],
249
284
},
250
285
largest_niche: None,
286
+ uninhabited: true,
251
287
variants: Single {
252
288
index: 0,
253
289
},
Original file line number Diff line number Diff line change @@ -4,7 +4,15 @@ error: layout_of(Univariant) = Layout {
4
4
abi: Align(4 bytes),
5
5
pref: $SOME_ALIGN,
6
6
},
7
- abi: Uninhabited,
7
+ abi: Scalar(
8
+ Initialized {
9
+ value: Int(
10
+ I32,
11
+ false,
12
+ ),
13
+ valid_range: 0..=0,
14
+ },
15
+ ),
8
16
fields: Arbitrary {
9
17
offsets: [
10
18
Size(0 bytes),
@@ -23,6 +31,7 @@ error: layout_of(Univariant) = Layout {
23
31
valid_range: 0..=0,
24
32
},
25
33
),
34
+ uninhabited: true,
26
35
variants: Multiple {
27
36
tag: Initialized {
28
37
value: Int(
@@ -40,7 +49,15 @@ error: layout_of(Univariant) = Layout {
40
49
abi: Align(4 bytes),
41
50
pref: $SOME_ALIGN,
42
51
},
43
- abi: Uninhabited,
52
+ abi: Scalar(
53
+ Initialized {
54
+ value: Int(
55
+ I32,
56
+ false,
57
+ ),
58
+ valid_range: 0..=0,
59
+ },
60
+ ),
44
61
fields: Arbitrary {
45
62
offsets: [
46
63
Size(4 bytes),
@@ -50,6 +67,7 @@ error: layout_of(Univariant) = Layout {
50
67
],
51
68
},
52
69
largest_niche: None,
70
+ uninhabited: true,
53
71
variants: Single {
54
72
index: 0,
55
73
},
@@ -120,12 +138,26 @@ error: layout_of(TwoVariants) = Layout {
120
138
tag_field: 0,
121
139
variants: [
122
140
Layout {
123
- size: Size(4 bytes),
141
+ size: Size(8 bytes),
124
142
align: AbiAndPrefAlign {
125
143
abi: Align(4 bytes),
126
144
pref: $SOME_ALIGN,
127
145
},
128
- abi: Uninhabited,
146
+ abi: ScalarPair(
147
+ Initialized {
148
+ value: Int(
149
+ I32,
150
+ false,
151
+ ),
152
+ valid_range: 0..=1,
153
+ },
154
+ Union {
155
+ value: Int(
156
+ I8,
157
+ false,
158
+ ),
159
+ },
160
+ ),
129
161
fields: Arbitrary {
130
162
offsets: [
131
163
Size(4 bytes),
@@ -135,6 +167,7 @@ error: layout_of(TwoVariants) = Layout {
135
167
],
136
168
},
137
169
largest_niche: None,
170
+ uninhabited: true,
138
171
variants: Single {
139
172
index: 0,
140
173
},
@@ -236,7 +269,9 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
236
269
abi: Align(8 bytes),
237
270
pref: $SOME_ALIGN,
238
271
},
239
- abi: Uninhabited,
272
+ abi: Memory {
273
+ sized: true,
274
+ },
240
275
fields: Arbitrary {
241
276
offsets: [
242
277
Size(8 bytes),
@@ -248,6 +283,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
248
283
],
249
284
},
250
285
largest_niche: None,
286
+ uninhabited: true,
251
287
variants: Single {
252
288
index: 0,
253
289
},
You can’t perform that action at this time.
0 commit comments