summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/generic_const_exprs/issue-69654.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/generic_const_exprs/issue-69654.stderr')
-rw-r--r--src/test/ui/const-generics/generic_const_exprs/issue-69654.stderr22
1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/generic_const_exprs/issue-69654.stderr b/src/test/ui/const-generics/generic_const_exprs/issue-69654.stderr
new file mode 100644
index 000000000..7a083733a
--- /dev/null
+++ b/src/test/ui/const-generics/generic_const_exprs/issue-69654.stderr
@@ -0,0 +1,22 @@
+error[E0423]: expected value, found type parameter `T`
+ --> $DIR/issue-69654.rs:5:25
+ |
+LL | impl<T> Bar<T> for [u8; T] {}
+ | ^ not a value
+
+error[E0599]: the function or associated item `foo` exists for struct `Foo<_>`, but its trait bounds were not satisfied
+ --> $DIR/issue-69654.rs:17:10
+ |
+LL | struct Foo<const N: usize> {}
+ | -------------------------- function or associated item `foo` not found for this struct
+...
+LL | Foo::foo();
+ | ^^^ function or associated item cannot be called on `Foo<_>` due to unsatisfied trait bounds
+ |
+ = note: the following trait bounds were not satisfied:
+ `[u8; _]: Bar<[(); _]>`
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0423, E0599.
+For more information about an error, try `rustc --explain E0423`.