summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/not-suggest-non-existing-fully-qualified-path.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/not-suggest-non-existing-fully-qualified-path.stderr')
-rw-r--r--src/test/ui/traits/not-suggest-non-existing-fully-qualified-path.stderr38
1 files changed, 38 insertions, 0 deletions
diff --git a/src/test/ui/traits/not-suggest-non-existing-fully-qualified-path.stderr b/src/test/ui/traits/not-suggest-non-existing-fully-qualified-path.stderr
new file mode 100644
index 000000000..75d45d905
--- /dev/null
+++ b/src/test/ui/traits/not-suggest-non-existing-fully-qualified-path.stderr
@@ -0,0 +1,38 @@
+error[E0282]: type annotations needed
+ --> $DIR/not-suggest-non-existing-fully-qualified-path.rs:21:7
+ |
+LL | a.method();
+ | ^^^^^^
+ |
+help: try using a fully qualified path to specify the expected types
+ |
+LL | <A<B> as V<U>>::method(a);
+ | +++++++++++++++++++++++ ~
+
+error[E0283]: type annotations needed
+ --> $DIR/not-suggest-non-existing-fully-qualified-path.rs:21:7
+ |
+LL | a.method();
+ | ^^^^^^
+ |
+note: multiple `impl`s satisfying `B: I<_>` found
+ --> $DIR/not-suggest-non-existing-fully-qualified-path.rs:5:1
+ |
+LL | impl I<i32> for B {}
+ | ^^^^^^^^^^^^^^^^^
+LL | impl I<u32> for B {}
+ | ^^^^^^^^^^^^^^^^^
+note: required because of the requirements on the impl of `V<_>` for `A<B>`
+ --> $DIR/not-suggest-non-existing-fully-qualified-path.rs:12:12
+ |
+LL | impl<T, U> V<U> for A<T>
+ | ^^^^ ^^^^
+help: try using a fully qualified path to specify the expected types
+ |
+LL | <A<B> as V<U>>::method(a);
+ | +++++++++++++++++++++++ ~
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0282, E0283.
+For more information about an error, try `rustc --explain E0282`.