add test for ICE: Unexpected unsized type tail: &ReStatic [u8] #122488

Fixes https://github.com/rust-lang/rust/issues/122488
This commit is contained in:
Matthias Krüger 2024-04-06 23:34:46 +02:00
parent 5dc7fe473b
commit 7d9e1067fd
2 changed files with 37 additions and 0 deletions

View File

@ -0,0 +1,10 @@
// ICE Unexpected unsized type tail: &ReStatic [u8]
// issue: rust-lang/rust#122488
use std::ops::Deref;
struct ArenaSet<U: Deref, V: ?Sized = <U as Deref>::Target>(V, U);
//~^ ERROR the size for values of type `V` cannot be known at compilation time
const DATA: *const ArenaSet<Vec<u8>> = std::ptr::null_mut();
pub fn main() {}

View File

@ -0,0 +1,27 @@
error[E0277]: the size for values of type `V` cannot be known at compilation time
--> $DIR/issue-unsized-tail-restatic-ice-122488.rs:5:61
|
LL | struct ArenaSet<U: Deref, V: ?Sized = <U as Deref>::Target>(V, U);
| -------------------------------- ^ doesn't have a size known at compile-time
| |
| this type parameter needs to be `Sized`
|
= 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: consider removing the `?Sized` bound to make the type parameter `Sized`
|
LL - struct ArenaSet<U: Deref, V: ?Sized = <U as Deref>::Target>(V, U);
LL + struct ArenaSet<U: Deref, V = <U as Deref>::Target>(V, U);
|
help: borrowed types always have a statically known size
|
LL | struct ArenaSet<U: Deref, V: ?Sized = <U as Deref>::Target>(&V, U);
| +
help: the `Box` type always has a statically known size and allocates its contents in the heap
|
LL | struct ArenaSet<U: Deref, V: ?Sized = <U as Deref>::Target>(Box<V>, U);
| ++++ +
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.