blob: b0cf1c7ca6d26855c96a3b65746e97ec4ed76dd9 [file] [log] [blame]
//! Test that we allow unsizing `[Opaque; N]` to `[Concrete]`.
//@check-pass
fn hello() -> [impl Sized; 2] {
if false {
let x = hello();
let _: &[i32] = &x;
}
todo!()
}
fn main() {}