diff options
| author | lcnr <rust@lcnr.de> | 2023-12-14 13:11:28 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2023-12-14 15:22:37 +0100 |
| commit | 11d16c4082be25fd42b48b37e199f18b4dfe51ed (patch) | |
| tree | 4fbbe9d1e2c507b665e5bdc5d99ef2b79eaa85d7 /tests/ui/coinduction | |
| parent | 5d97ada1eca831936257598bd60f1857091ec4b7 (diff) | |
| download | rust-11d16c4082be25fd42b48b37e199f18b4dfe51ed.tar.gz rust-11d16c4082be25fd42b48b37e199f18b4dfe51ed.zip | |
update use of feature flags
Diffstat (limited to 'tests/ui/coinduction')
| -rw-r--r-- | tests/ui/coinduction/canonicalization-rerun.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/ui/coinduction/canonicalization-rerun.rs b/tests/ui/coinduction/canonicalization-rerun.rs index c68895fc4e6..bbd8d802630 100644 --- a/tests/ui/coinduction/canonicalization-rerun.rs +++ b/tests/ui/coinduction/canonicalization-rerun.rs @@ -1,6 +1,6 @@ // check-pass // revisions: old next -//[next] compile-flags: -Ztrait-solver=next +//[next] compile-flags: -Znext-solver // If we use canonical goals during trait solving we have to reevaluate // the root goal of a cycle until we hit a fixpoint. |