summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/generalize/generalize-proj-new-universe-index-2.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/new-solver/generalize/generalize-proj-new-universe-index-2.stderr')
-rw-r--r--tests/ui/traits/new-solver/generalize/generalize-proj-new-universe-index-2.stderr18
1 files changed, 0 insertions, 18 deletions
diff --git a/tests/ui/traits/new-solver/generalize/generalize-proj-new-universe-index-2.stderr b/tests/ui/traits/new-solver/generalize/generalize-proj-new-universe-index-2.stderr
deleted file mode 100644
index 9aa4f4531..000000000
--- a/tests/ui/traits/new-solver/generalize/generalize-proj-new-universe-index-2.stderr
+++ /dev/null
@@ -1,18 +0,0 @@
-error[E0284]: type annotations needed: cannot satisfy `<<Leaf as WithAssoc<_>>::Assoc as Id>::Assoc == <<Leaf as WithAssoc<_>>::Assoc as Id>::Assoc`
- --> $DIR/generalize-proj-new-universe-index-2.rs:74:5
- |
-LL | bound::<<Rigid as IdHigherRankedBound>::Assoc, <Wrapper<Leaf> as Id>::Assoc, _>()
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot satisfy `<<Leaf as WithAssoc<_>>::Assoc as Id>::Assoc == <<Leaf as WithAssoc<_>>::Assoc as Id>::Assoc`
- |
-note: required by a bound in `bound`
- --> $DIR/generalize-proj-new-universe-index-2.rs:69:21
- |
-LL | fn bound<T: ?Sized, U: ?Sized, V: ?Sized>()
- | ----- required by a bound in this function
-LL | where
-LL | T: WithAssoc<U, Assoc = V>,
- | ^^^^^^^^^ required by this bound in `bound`
-
-error: aborting due to previous error
-
-For more information about this error, try `rustc --explain E0284`.