blob: eb4ff8305dac898011449358b8d822de6e9eac27 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
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
| |
| found this type parameter
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: trait bound `[u8; _]: Bar<[(); _]>` was not satisfied
--> $DIR/issue-69654.rs:11:14
|
LL | impl<const N: usize> Foo<N>
| ------
LL | where
LL | [u8; N]: Bar<[(); N]>,
| ^^^^^^^^^^^^ unsatisfied trait bound introduced here
error: aborting due to 2 previous errors
Some errors have detailed explanations: E0423, E0599.
For more information about an error, try `rustc --explain E0423`.
|
