diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-11 06:54:38 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-11 08:19:19 +0000 |
| commit | 03fa9b807379dbce92b346b489acecff6082e283 (patch) | |
| tree | 44478e1796fbc0c05a6ce64dacc3ded6c6de295a /tests/ui/impl-trait/recursive-bound-eval.rs | |
| parent | 6cca6da1265b9bede368f34da6be42057adc9834 (diff) | |
| download | rust-03fa9b807379dbce92b346b489acecff6082e283.tar.gz rust-03fa9b807379dbce92b346b489acecff6082e283.zip | |
Also test under next solver
Diffstat (limited to 'tests/ui/impl-trait/recursive-bound-eval.rs')
| -rw-r--r-- | tests/ui/impl-trait/recursive-bound-eval.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/ui/impl-trait/recursive-bound-eval.rs b/tests/ui/impl-trait/recursive-bound-eval.rs index 591553e7ceb..7859c8983fc 100644 --- a/tests/ui/impl-trait/recursive-bound-eval.rs +++ b/tests/ui/impl-trait/recursive-bound-eval.rs @@ -1,7 +1,10 @@ //! Test that we can evaluate nested obligations when invoking methods on recursive calls on //! an RPIT. -//@ check-pass +//@revisions: next current +//@[next] compile-flags: -Znext-solver + +//@[current] check-pass pub trait Parser<E> { fn parse(&self) -> E; @@ -15,6 +18,7 @@ impl<E, T: Fn() -> E> Parser<E> for T { pub fn recursive_fn<E>() -> impl Parser<E> { move || recursive_fn().parse() + //[next]~^ ERROR: type annotations needed } fn main() {} |