// 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> {
    ptr: T
}

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