diff options
| author | lcnr <rust@lcnr.de> | 2025-02-21 10:11:56 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-02-28 12:16:47 +0100 |
| commit | 7eb677e7eb4d7f8235d43e1b01669557fca80487 (patch) | |
| tree | 4877a3f6a3a6ba40e0f0a486854b9d2d2084e82e /tests/ui/sized | |
| parent | a7970c0b271b3fc4c19f580977a44c46130c077a (diff) | |
| download | rust-7eb677e7eb4d7f8235d43e1b01669557fca80487.tar.gz rust-7eb677e7eb4d7f8235d43e1b01669557fca80487.zip | |
normalizing where-clauses is also coinductive, add tests
Diffstat (limited to 'tests/ui/sized')
| -rw-r--r-- | tests/ui/sized/coinductive-1.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/ui/sized/coinductive-1.rs b/tests/ui/sized/coinductive-1.rs index 3c1ee557af7..42dd8d1f604 100644 --- a/tests/ui/sized/coinductive-1.rs +++ b/tests/ui/sized/coinductive-1.rs @@ -1,4 +1,7 @@ //@ check-pass +//@ revisions: current next +//@ ignore-compare-mode-next-solver (explicit revisions) +//@[next] compile-flags: -Znext-solver struct Node<C: Trait<Self>>(C::Assoc); trait Trait<T> { |