summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-type-bounds/binder-on-bound.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-type-bounds/binder-on-bound.stderr')
-rw-r--r--src/test/ui/associated-type-bounds/binder-on-bound.stderr8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/test/ui/associated-type-bounds/binder-on-bound.stderr b/src/test/ui/associated-type-bounds/binder-on-bound.stderr
new file mode 100644
index 000000000..3432672e0
--- /dev/null
+++ b/src/test/ui/associated-type-bounds/binder-on-bound.stderr
@@ -0,0 +1,8 @@
+error: `for<...>` is not allowed on associated type bounds
+ --> $DIR/binder-on-bound.rs:7:22
+ |
+LL | fn foo() where Trait<for<'a> Bound<'a> = &'a ()> {
+ | ^^^^^^^^^^^^^^^^^
+
+error: aborting due to previous error
+