src/test/ui/type-alias-impl-trait/cross_inference_rpit.rs


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

// check-pass

fn foo(b: bool) -> impl Copy {
    if b {
        return (5,6)
    }
    let x: (_, _) = foo(true);
    println!("{:?}", x);
    (1u32, 2u32)
}

fn main() {
    foo(false);
}