mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tests: Bless rustc_abi::Abi::Aggregate => ::Memory

Browse Source
This commit is contained in:
Jubilee Young 2024-10-29 23:21:20 -07:00
parent 0b9d1eb889
commit 083a362dd1
27 changed files with 164 additions and 97 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/ui/abi/c-zst.aarch64-darwin.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -36,7 +36,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -58,7 +58,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
conv: C, conv: C,
can_unwind: false, can_unwind: false,
} }
--> $DIR/c-zst.rs:27:1 --> $DIR/c-zst.rs:63:1
| |
LL | extern "C" fn pass_zst(_: ()) {} LL | extern "C" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

6
tests/ui/abi/c-zst.powerpc-linux.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -47,7 +47,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -69,7 +69,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
conv: C, conv: C,
can_unwind: false, can_unwind: false,
} }
--> $DIR/c-zst.rs:27:1 --> $DIR/c-zst.rs:63:1
| |
LL | extern "C" fn pass_zst(_: ()) {} LL | extern "C" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

6
tests/ui/abi/c-zst.s390x-linux.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -47,7 +47,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -69,7 +69,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
conv: C, conv: C,
can_unwind: false, can_unwind: false,
} }
--> $DIR/c-zst.rs:27:1 --> $DIR/c-zst.rs:63:1
| |
LL | extern "C" fn pass_zst(_: ()) {} LL | extern "C" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

6
tests/ui/abi/c-zst.sparc64-linux.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -47,7 +47,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -69,7 +69,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
conv: C, conv: C,
can_unwind: false, can_unwind: false,
} }
--> $DIR/c-zst.rs:27:1 --> $DIR/c-zst.rs:63:1
| |
LL | extern "C" fn pass_zst(_: ()) {} LL | extern "C" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

6
tests/ui/abi/c-zst.x86_64-linux.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -36,7 +36,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -58,7 +58,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
conv: C, conv: C,
can_unwind: false, can_unwind: false,
} }
--> $DIR/c-zst.rs:27:1 --> $DIR/c-zst.rs:63:1
| |
LL | extern "C" fn pass_zst(_: ()) {} LL | extern "C" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

6
tests/ui/abi/c-zst.x86_64-pc-windows-gnu.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -47,7 +47,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -69,7 +69,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
conv: C, conv: C,
can_unwind: false, can_unwind: false,
} }
--> $DIR/c-zst.rs:27:1 --> $DIR/c-zst.rs:63:1
| |
LL | extern "C" fn pass_zst(_: ()) {} LL | extern "C" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

24
tests/ui/abi/debug.stderr
View File

@ -235,7 +235,7 @@ error: fn_abi_of(test_generic) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -317,7 +317,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -387,7 +387,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -426,7 +426,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Array { fields: Array {
@ -464,7 +464,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -497,7 +497,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Array { fields: Array {
@ -535,7 +535,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -610,7 +610,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -680,7 +680,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -756,7 +756,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -826,7 +826,7 @@ error: ABIs are not compatible
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -929,7 +929,7 @@ error: fn_abi_of(assoc_test) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

4
tests/ui/abi/sysv64-zst.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -36,7 +36,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

6
tests/ui/abi/win64-zst.x86_64-linux.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -36,7 +36,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -58,7 +58,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
conv: X86_64Win64, conv: X86_64Win64,
can_unwind: false, can_unwind: false,
} }
--> $DIR/win64-zst.rs:11:1 --> $DIR/win64-zst.rs:24:1
| |
LL | extern "win64" fn pass_zst(_: ()) {} LL | extern "win64" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

6
tests/ui/abi/win64-zst.x86_64-windows-gnu.stderr
View File

@ -9,7 +9,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -47,7 +47,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
abi: $SOME_ALIGN, abi: $SOME_ALIGN,
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -69,7 +69,7 @@ error: fn_abi_of(pass_zst) = FnAbi {
conv: X86_64Win64, conv: X86_64Win64,
can_unwind: false, can_unwind: false,
} }
--> $DIR/win64-zst.rs:11:1 --> $DIR/win64-zst.rs:24:1
| |
LL | extern "win64" fn pass_zst(_: ()) {} LL | extern "win64" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

67
tests/ui/abi/win64-zst.x86_64-windows-msvc.stderr Normal file
View File

@ -0,0 +1,67 @@
error: fn_abi_of(pass_zst) = FnAbi {
args: [
ArgAbi {
layout: TyAndLayout {
ty: (),
layout: Layout {
size: Size(0 bytes),
align: AbiAndPrefAlign {
abi: $SOME_ALIGN,
pref: $SOME_ALIGN,
},
abi: Memory {
sized: true,
},
fields: Arbitrary {
offsets: [],
memory_index: [],
},
largest_niche: None,
variants: Single {
index: 0,
},
max_repr_align: None,
unadjusted_abi_align: $SOME_ALIGN,
},
},
mode: Ignore,
},
],
ret: ArgAbi {
layout: TyAndLayout {
ty: (),
layout: Layout {
size: Size(0 bytes),
align: AbiAndPrefAlign {
abi: $SOME_ALIGN,
pref: $SOME_ALIGN,
},
abi: Memory {
sized: true,
},
fields: Arbitrary {
offsets: [],
memory_index: [],
},
largest_niche: None,
variants: Single {
index: 0,
},
max_repr_align: None,
unadjusted_abi_align: $SOME_ALIGN,
},
},
mode: Ignore,
},
c_variadic: false,
fixed_count: 1,
conv: X86_64Win64,
can_unwind: false,
}
--> $DIR/win64-zst.rs:24:1
|
LL | extern "win64" fn pass_zst(_: ()) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error: aborting due to 1 previous error

20
tests/ui/layout/debug.stderr
View File

@ -10,7 +10,7 @@ error: layout_of(E) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -48,7 +48,7 @@ error: layout_of(E) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -150,7 +150,7 @@ error: layout_of(U) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Union( fields: Union(
@ -337,7 +337,7 @@ error: layout_of(V) = Layout {
abi: Align(2 bytes), abi: Align(2 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Union( fields: Union(
@ -361,7 +361,7 @@ error: layout_of(W) = Layout {
abi: Align(2 bytes), abi: Align(2 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Union( fields: Union(
@ -385,7 +385,7 @@ error: layout_of(Y) = Layout {
abi: Align(2 bytes), abi: Align(2 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Union( fields: Union(
@ -409,7 +409,7 @@ error: layout_of(P1) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Union( fields: Union(
@ -433,7 +433,7 @@ error: layout_of(P2) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Union( fields: Union(
@ -457,7 +457,7 @@ error: layout_of(P3) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Union( fields: Union(
@ -481,7 +481,7 @@ error: layout_of(P4) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Union( fields: Union(

2
tests/ui/layout/enum-scalar-pair-int-ptr.rs
View File

@ -18,7 +18,7 @@ enum ScalarPairPointerWithInt { //~ERROR: abi: ScalarPair
// of a different size. (Assumes that no target has 8 bit pointers, which // of a different size. (Assumes that no target has 8 bit pointers, which
// feels pretty safe.) // feels pretty safe.)
#[rustc_layout(abi)] #[rustc_layout(abi)]
enum NotScalarPairPointerWithSmallerInt { //~ERROR: abi: Aggregate enum NotScalarPairPointerWithSmallerInt { //~ERROR: abi: Memory
A(u8), A(u8),
B(Box<()>), B(Box<()>),
} }

2
tests/ui/layout/enum-scalar-pair-int-ptr.stderr
View File

@ -4,7 +4,7 @@ error: abi: ScalarPair(Initialized { value: Int(I?, false), valid_range: $VALID_
LL | enum ScalarPairPointerWithInt { LL | enum ScalarPairPointerWithInt {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error: abi: Aggregate { sized: true } error: abi: Memory { sized: true }
--> $DIR/enum-scalar-pair-int-ptr.rs:21:1 --> $DIR/enum-scalar-pair-int-ptr.rs:21:1
| |
LL | enum NotScalarPairPointerWithSmallerInt { LL | enum NotScalarPairPointerWithSmallerInt {

10
tests/ui/layout/hexagon-enum.stderr
View File

@ -48,7 +48,7 @@ error: layout_of(A) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: Align(1 bytes), pref: Align(1 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -122,7 +122,7 @@ error: layout_of(B) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: Align(1 bytes), pref: Align(1 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -196,7 +196,7 @@ error: layout_of(C) = Layout {
abi: Align(2 bytes), abi: Align(2 bytes),
pref: Align(2 bytes), pref: Align(2 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -270,7 +270,7 @@ error: layout_of(P) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: Align(4 bytes), pref: Align(4 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -344,7 +344,7 @@ error: layout_of(T) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: Align(4 bytes), pref: Align(4 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

10
tests/ui/layout/issue-96158-scalarpair-payload-might-be-uninit.stderr
View File

@ -90,7 +90,7 @@ error: layout_of(MissingPayloadField) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -489,7 +489,7 @@ error: layout_of(NicheFirst) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -509,7 +509,7 @@ error: layout_of(NicheFirst) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -641,7 +641,7 @@ error: layout_of(NicheSecond) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -661,7 +661,7 @@ error: layout_of(NicheSecond) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

10
tests/ui/layout/issue-96185-overaligned-enum.stderr
View File

@ -4,7 +4,7 @@ error: layout_of(Aligned1) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -42,7 +42,7 @@ error: layout_of(Aligned1) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -64,7 +64,7 @@ error: layout_of(Aligned1) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -142,7 +142,7 @@ error: layout_of(Aligned2) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -164,7 +164,7 @@ error: layout_of(Aligned2) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

2
tests/ui/layout/struct.rs
View File

@ -6,7 +6,7 @@
#![crate_type = "lib"] #![crate_type = "lib"]
#[rustc_layout(abi)] #[rustc_layout(abi)]
struct AlignedZstPreventsScalar(i16, [i32; 0]); //~ERROR: abi: Aggregate struct AlignedZstPreventsScalar(i16, [i32; 0]); //~ERROR: abi: Memory
#[rustc_layout(abi)] #[rustc_layout(abi)]
struct AlignedZstButStillScalar(i32, [i16; 0]); //~ERROR: abi: Scalar struct AlignedZstButStillScalar(i32, [i16; 0]); //~ERROR: abi: Scalar

2
tests/ui/layout/struct.stderr
View File

@ -1,4 +1,4 @@
error: abi: Aggregate { sized: true } error: abi: Memory { sized: true }
--> $DIR/struct.rs:9:1 --> $DIR/struct.rs:9:1
| |
LL | struct AlignedZstPreventsScalar(i16, [i32; 0]); LL | struct AlignedZstPreventsScalar(i16, [i32; 0]);

10
tests/ui/layout/thumb-enum.stderr
View File

@ -48,7 +48,7 @@ error: layout_of(A) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: Align(4 bytes), pref: Align(4 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -122,7 +122,7 @@ error: layout_of(B) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: Align(4 bytes), pref: Align(4 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -196,7 +196,7 @@ error: layout_of(C) = Layout {
abi: Align(2 bytes), abi: Align(2 bytes),
pref: Align(4 bytes), pref: Align(4 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -270,7 +270,7 @@ error: layout_of(P) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: Align(4 bytes), pref: Align(4 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -344,7 +344,7 @@ error: layout_of(T) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: Align(4 bytes), pref: Align(4 bytes),
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

26
tests/ui/layout/zero-sized-array-enum-niche.stderr
View File

@ -4,7 +4,7 @@ error: layout_of(Result<[u32; 0], bool>) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -42,7 +42,7 @@ error: layout_of(Result<[u32; 0], bool>) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -66,7 +66,7 @@ error: layout_of(Result<[u32; 0], bool>) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -109,7 +109,7 @@ error: layout_of(MultipleAlignments) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -147,7 +147,7 @@ error: layout_of(MultipleAlignments) = Layout {
abi: Align(2 bytes), abi: Align(2 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -171,7 +171,7 @@ error: layout_of(MultipleAlignments) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -195,7 +195,7 @@ error: layout_of(MultipleAlignments) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -238,7 +238,7 @@ error: layout_of(Result<[u32; 0], Packed<NonZero<u16>>>) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -276,7 +276,7 @@ error: layout_of(Result<[u32; 0], Packed<NonZero<u16>>>) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -300,7 +300,7 @@ error: layout_of(Result<[u32; 0], Packed<NonZero<u16>>>) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -343,7 +343,7 @@ error: layout_of(Result<[u32; 0], Packed<U16IsZero>>) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -385,7 +385,7 @@ error: layout_of(Result<[u32; 0], Packed<U16IsZero>>) = Layout {
abi: Align(4 bytes), abi: Align(4 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -409,7 +409,7 @@ error: layout_of(Result<[u32; 0], Packed<U16IsZero>>) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $PREF_ALIGN, pref: $PREF_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

4
tests/ui/repr/repr-c-dead-variants.aarch64-unknown-linux-gnu.stderr
View File

@ -190,7 +190,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -254,7 +254,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

4
tests/ui/repr/repr-c-dead-variants.armebv7r-none-eabi.stderr
View File

@ -190,7 +190,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -254,7 +254,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

4
tests/ui/repr/repr-c-dead-variants.i686-pc-windows-msvc.stderr
View File

@ -190,7 +190,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -254,7 +254,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

4
tests/ui/repr/repr-c-dead-variants.x86_64-unknown-linux-gnu.stderr
View File

@ -190,7 +190,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -254,7 +254,7 @@ error: layout_of(DeadBranchHasOtherField) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

4
tests/ui/repr/repr-c-int-dead-variants.stderr
View File

@ -190,7 +190,7 @@ error: layout_of(DeadBranchHasOtherFieldU8) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -254,7 +254,7 @@ error: layout_of(DeadBranchHasOtherFieldU8) = Layout {
abi: Align(8 bytes), abi: Align(8 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {

4
tests/ui/type/pattern_types/range_patterns.stderr
View File

@ -124,7 +124,7 @@ error: layout_of(Option<(u32) is 1..=>) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {
@ -232,7 +232,7 @@ error: layout_of(Option<NonZero<u32>>) = Layout {
abi: Align(1 bytes), abi: Align(1 bytes),
pref: $SOME_ALIGN, pref: $SOME_ALIGN,
}, },
abi: Aggregate { abi: Memory {
sized: true, sized: true,
}, },
fields: Arbitrary { fields: Arbitrary {