summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/fn_with_two_const_inputs.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/const-generics/fn_with_two_const_inputs.stderr')
-rw-r--r--tests/ui/const-generics/fn_with_two_const_inputs.stderr18
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/ui/const-generics/fn_with_two_const_inputs.stderr b/tests/ui/const-generics/fn_with_two_const_inputs.stderr
new file mode 100644
index 000000000..614e7e0d2
--- /dev/null
+++ b/tests/ui/const-generics/fn_with_two_const_inputs.stderr
@@ -0,0 +1,18 @@
+error: unconstrained generic constant
+ --> $DIR/fn_with_two_const_inputs.rs:12:5
+ |
+LL | bar()
+ | ^^^
+ |
+ = help: try adding a `where` bound using this expression: `where [(); N + 1]:`
+note: required by a bound in `bar`
+ --> $DIR/fn_with_two_const_inputs.rs:18:10
+ |
+LL | fn bar<const N: usize>() -> [(); N]
+ | --- required by a bound in this
+LL | where
+LL | [(); N + 1]:,
+ | ^^^^^ required by this bound in `bar`
+
+error: aborting due to previous error
+