summary refs log tree commit diff
path: root/tests/ui/impl-trait/unsize_tuple.rs
blob: 2678564f0e86909c33a770b89354f90c398f18ab (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//! Test that we allow unsizing `([Opaque; N],)` to `([Concrete],)`.

//@check-pass

#![feature(unsized_tuple_coercion)]

fn hello() -> ([impl Sized; 2],) {
    if false {
        let x = hello();
        let _: &([i32],) = &x;
    }
    todo!()
}

fn main() {}