tests/crashes/120016.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//@ known-bug: #120016
//@ compile-flags: -Zvalidate-mir
//@ edition: 2021

#![feature(type_alias_impl_trait)]

struct Bug {
    V1: [(); {
        type F = impl Sized;
        #[define_opaque(F)]
        fn concrete_use() -> F {
            //~^ ERROR
            1i32
        }
        let f: F = 0u32;

        1
    }],
}

fn main() {}