tests/ui/explicit-tail-calls/ret-ty-hr-mismatch.rs


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

#![feature(explicit_tail_calls)]
#![expect(incomplete_features)]

fn foo() -> for<'a> fn(&'a i32) {
    become bar();
    //~^ ERROR mismatched signatures
}

fn bar() -> fn(&'static i32) {
    dummy
}

fn dummy(_: &i32) {}

fn main() {}