16 lines
290 B
Rust
16 lines
290 B
Rust
// 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() {}
|