summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/issue-81712-cyclic-traits.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-81712-cyclic-traits.stderr')
-rw-r--r--src/test/ui/generic-associated-types/issue-81712-cyclic-traits.stderr19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/issue-81712-cyclic-traits.stderr b/src/test/ui/generic-associated-types/issue-81712-cyclic-traits.stderr
new file mode 100644
index 000000000..86c99c32f
--- /dev/null
+++ b/src/test/ui/generic-associated-types/issue-81712-cyclic-traits.stderr
@@ -0,0 +1,19 @@
+error[E0107]: missing generics for associated type `C::DType`
+ --> $DIR/issue-81712-cyclic-traits.rs:16:19
+ |
+LL | type CType: C<DType = Self>;
+ | ^^^^^ expected 1 generic argument
+ |
+note: associated type defined here, with 1 generic parameter: `T`
+ --> $DIR/issue-81712-cyclic-traits.rs:13:10
+ |
+LL | type DType<T>: D<T, CType = Self>;
+ | ^^^^^ -
+help: add missing generic argument
+ |
+LL | type CType: C<DType<T> = Self>;
+ | ~~~~~~~~
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0107`.