Skip to content

Commit

Permalink
add test for ICE: !base.layout().is_sized() #123078
Browse files Browse the repository at this point in the history
Fixes #123078
  • Loading branch information
matthiaskrgr committed Apr 6, 2024
1 parent aa1c459 commit 5dc7fe4
Show file tree
Hide file tree
Showing 2 changed files with 48 additions and 0 deletions.
17 changes: 17 additions & 0 deletions tests/ui/layout/base-layout-is-sized-ice-123078.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
// ICE !base.layout().is_sized()
// issue: rust-lang/rust#123078

struct S {
a: [u8],
//~^ ERROR the size for values of type `[u8]` cannot be known at compilation time
b: (),
}

const C: S = unsafe { std::mem::transmute(()) };
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
const _: [(); {
C;
0
}] = [];

pub fn main() {}
31 changes: 31 additions & 0 deletions tests/ui/layout/base-layout-is-sized-ice-123078.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
--> $DIR/base-layout-is-sized-ice-123078.rs:5:8
|
LL | a: [u8],
| ^^^^ doesn't have a size known at compile-time
|
= help: the trait `Sized` is not implemented for `[u8]`
= note: only the last field of a struct may have a dynamically sized type
= help: change the field's type to have a statically known size
help: borrowed types always have a statically known size
|
LL | a: &[u8],
| +
help: the `Box` type always has a statically known size and allocates its contents in the heap
|
LL | a: Box<[u8]>,
| ++++ +

error[E0512]: cannot transmute between types of different sizes, or dependently-sized types
--> $DIR/base-layout-is-sized-ice-123078.rs:10:23
|
LL | const C: S = unsafe { std::mem::transmute(()) };
| ^^^^^^^^^^^^^^^^^^^
|
= note: source type: `()` (0 bits)
= note: target type: `S` (this type does not have a fixed size)

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0277, E0512.
For more information about an error, try `rustc --explain E0277`.

0 comments on commit 5dc7fe4

Please sign in to comment.