blob: 7859c8983fc892a4a8857428921d1c971ef8ffd0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
//! Test that we can evaluate nested obligations when invoking methods on recursive calls on
//! an RPIT.
//@revisions: next current
//@[next] compile-flags: -Znext-solver
//@[current] check-pass
pub trait Parser<E> {
fn parse(&self) -> E;
}
impl<E, T: Fn() -> E> Parser<E> for T {
fn parse(&self) -> E {
self()
}
}
pub fn recursive_fn<E>() -> impl Parser<E> {
move || recursive_fn().parse()
//[next]~^ ERROR: type annotations needed
}
fn main() {}
|
