diff options
| author | Michael Goulet <michael@errs.io> | 2023-04-22 00:08:38 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-04-25 19:53:09 +0000 |
| commit | bb99cdc7cd3f2c0b1ab533735604ade7c2fdf9ad (patch) | |
| tree | fc0751a2f046c9a2cc9c0f90ca73733f37da065d /tests/ui/impl-trait | |
| parent | a7aa20517c80161a2ffe7c0c25fc2e0140c43c90 (diff) | |
| download | rust-bb99cdc7cd3f2c0b1ab533735604ade7c2fdf9ad.tar.gz rust-bb99cdc7cd3f2c0b1ab533735604ade7c2fdf9ad.zip | |
vars are ?
Diffstat (limited to 'tests/ui/impl-trait')
| -rw-r--r-- | tests/ui/impl-trait/wf-eval-order.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/impl-trait/wf-eval-order.rs b/tests/ui/impl-trait/wf-eval-order.rs index c7d6bb87096..8638fc2e775 100644 --- a/tests/ui/impl-trait/wf-eval-order.rs +++ b/tests/ui/impl-trait/wf-eval-order.rs @@ -31,9 +31,9 @@ fn main() { // // - `wf(typeof(x))` because we use a projection candidate. // - `<i32 as B>::V: Clone` because that's a bound on the trait. - // - `<i32 as B>::V` normalizes to `_#1` where `<i32 as A>::U == _#1` + // - `<i32 as B>::V` normalizes to `?1t` where `<i32 as A>::U == ?1t` // - // This all works if we evaluate `<i32 as A>::U == _#1` before + // This all works if we evaluate `<i32 as A>::U == ?1t` before // `<i32 as B>::V`, but we previously had the opposite order. let x = hide(X(0)); } |