about summary refs log tree commit diff
path: root/tests/ui/dst/dst-bad-deep-2.rs
blob: 76d35751369732dd10f62f70a85347a5b2c6486b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// Try to initialise a DST struct where the lost information is deeply nested.
// This is an error because it requires an unsized rvalue. This is a problem
// because it would require stack allocation of an unsized temporary (*g in the
// test).

struct Fat<T: ?Sized>(T);

pub fn main() {
    let f: Fat<[isize; 3]> = Fat([5, 6, 7]);
    let g: &Fat<[isize]> = &f;
    let h: &Fat<Fat<[isize]>> = &Fat(*g);
    //~^ ERROR the size for values of type
}