blob: 058b12e5651e3d0b48e50af0ef8e1421bd313df9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
//! Test that we can evaluate nested obligations when invoking methods on recursive calls on
//! an RPIT.
//@ revisions: next current
//@[next] compile-flags: -Znext-solver
//@ 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()
}
fn main() {}
|
