diff options
| author | Michael Goulet <michael@errs.io> | 2025-05-28 11:14:43 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-06-02 19:23:20 +0000 |
| commit | 3418d5db3aa619f19f59f4ee341f6683ed6743b4 (patch) | |
| tree | 663c879c28f40614dad3738e30a3572208d47881 /tests | |
| parent | 2398bd60ef526e686a38a299cc2fa991d8b3c33e (diff) | |
| download | rust-3418d5db3aa619f19f59f4ee341f6683ed6743b4.tar.gz rust-3418d5db3aa619f19f59f4ee341f6683ed6743b4.zip | |
Fast path for stalled obligations on self ty
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/ui/traits/next-solver/coherence/coherence-fulfill-overflow.stderr | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/tests/ui/traits/next-solver/coherence/coherence-fulfill-overflow.stderr b/tests/ui/traits/next-solver/coherence/coherence-fulfill-overflow.stderr index 57cba790b55..7d39c82d22f 100644 --- a/tests/ui/traits/next-solver/coherence/coherence-fulfill-overflow.stderr +++ b/tests/ui/traits/next-solver/coherence/coherence-fulfill-overflow.stderr @@ -1,13 +1,10 @@ -error[E0119]: conflicting implementations of trait `Trait` for type `W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<_>>>>>>>>>>>>>>>>>>>>>` +error[E0119]: conflicting implementations of trait `Trait` for type `W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<_>>>>>>>>>>>>>>>>>>>>>>>` --> $DIR/coherence-fulfill-overflow.rs:12:1 | LL | impl<T: ?Sized + TwoW> Trait for W<T> {} | ------------------------------------- first implementation here LL | impl<T: ?Sized + TwoW> Trait for T {} - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<_>>>>>>>>>>>>>>>>>>>>>` - | - = note: overflow evaluating the requirement `W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<_>>>>>>>>>>>>>>>>>>>>>: TwoW` - = help: consider increasing the recursion limit by adding a `#![recursion_limit = "20"]` attribute to your crate (`coherence_fulfill_overflow`) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<W<_>>>>>>>>>>>>>>>>>>>>>>>` error: aborting due to 1 previous error |