summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.stderr')
-rw-r--r--src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.stderr25
1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.stderr b/src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.stderr
new file mode 100644
index 000000000..48433b152
--- /dev/null
+++ b/src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.stderr
@@ -0,0 +1,25 @@
+error[E0212]: cannot use the associated type of a trait with uninferred generic parameters
+ --> $DIR/associated-types-project-from-hrtb-in-trait-method.rs:13:32
+ |
+LL | fn some_method(&self, arg: I::A);
+ | ^^^^
+ |
+help: use a fully qualified path with inferred lifetimes
+ |
+LL | fn some_method(&self, arg: <I as Foo<&isize>>::A);
+ | ~~~~~~~~~~~~~~~~~~~~
+
+error[E0212]: cannot use the associated type of a trait with uninferred generic parameters
+ --> $DIR/associated-types-project-from-hrtb-in-trait-method.rs:32:24
+ |
+LL | fn mango(&self) -> X::Assoc {
+ | ^^^^^^^^
+ |
+help: use a fully qualified path with inferred lifetimes
+ |
+LL | fn mango(&self) -> <X as Banana<'_>>::Assoc {
+ | ~~~~~~~~~~~~~~~~~~~
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0212`.