52 lines
806 B
Rust
52 lines
806 B
Rust
|
//@ check-pass
|
||
|
|
|
||
|
|
//! With trivial bounds, it is possible to have ADTs with unsized fields
|
||
|
|
//! in arbitrary places. Test that we do not ICE for such types.
|
||
|
|
|
||
|
|
#![feature(trivial_bounds)]
|
||
|
|
#![expect(trivial_bounds)]
|
||
|
|
|
||
|
|
struct Struct
|
||
|
|
where
|
||
|
|
[u8]: Sized,
|
||
|
|
[i16]: Sized,
|
||
|
|
{
|
||
|
|
a: [u8],
|
||
|
|
b: [i16],
|
||
|
|
c: f32,
|
||
|
|
}
|
||
|
|
|
||
|
|
union Union
|
||
|
|
where
|
||
|
|
[u8]: Copy,
|
||
|
|
[i16]: Copy,
|
||
|
|
{
|
||
|
|
a: [u8],
|
||
|
|
b: [i16],
|
||
|
|
c: f32,
|
||
|
|
}
|
||
|
|
|
||
|
|
enum Enum
|
||
|
|
where
|
||
|
|
[u8]: Sized,
|
||
|
|
[i16]: Sized,
|
||
|
|
{
|
||
|
|
V1([u8], [i16]),
|
||
|
|
V2([i16], f32),
|
||
|
|
}
|
||
|
|
|
||
|
|
// This forces layout computation via the `variant_size_differences` lint.
|
||
|
|
// FIXME: This could be made more robust, possibly with a variant of `rustc_layout`
|
||
|
|
// that doesn't error.
|
||
|
|
enum Check
|
||
|
|
where
|
||
|
|
[u8]: Copy,
|
||
|
|
[i16]: Copy,
|
||
|
|
{
|
||
|
|
Struct(Struct),
|
||
|
|
Union(Union),
|
||
|
|
Enum(Enum),
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|