tests/ui/explicit-tail-calls/ret-ty-modulo-anonymization.rs


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

// Ensure that we anonymize the output of a function for tail call signature compatibility.

//@ check-pass

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

fn foo() -> for<'a> fn(&'a ()) {
    become bar();
}

fn bar() -> for<'b> fn(&'b ()) {
    todo!()
}

fn main() {}