summaryrefslogtreecommitdiffstats
path: root/src/test/ui/higher-rank-trait-bounds/hrtb-wrong-kind.stderr
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/higher-rank-trait-bounds/hrtb-wrong-kind.stderr14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/higher-rank-trait-bounds/hrtb-wrong-kind.stderr b/src/test/ui/higher-rank-trait-bounds/hrtb-wrong-kind.stderr
new file mode 100644
index 000000000..f31aa5546
--- /dev/null
+++ b/src/test/ui/higher-rank-trait-bounds/hrtb-wrong-kind.stderr
@@ -0,0 +1,14 @@
+error: only lifetime parameters can be used in this context
+ --> $DIR/hrtb-wrong-kind.rs:1:18
+ |
+LL | fn a() where for<T> T: Copy {}
+ | ^
+
+error: only lifetime parameters can be used in this context
+ --> $DIR/hrtb-wrong-kind.rs:4:24
+ |
+LL | fn b() where for<const C: usize> [(); C]: Copy {}
+ | ^
+
+error: aborting due to 2 previous errors
+