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