tests/ui/impl-trait/unsize-cast-validation-rpit.rs


1
2
3
4
5
6
7
8
9
10
11
12

//@ check-pass
//@ compile-flags: -Zvalidate-mir

fn hello() -> &'static [impl Sized; 0] {
    if false {
        let x = hello();
        let _: &[i32] = x;
    }
    &[]
}

fn main() {}