summaryrefslogtreecommitdiffstats
path: root/tests/ui/const-generics/type_mismatch.stderr
blob: 394dd44d40d3308536ae1da482aa767dad78fce7 (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
31
32
33
34
35
error: the constant `N` is not of type `u8`
  --> $DIR/type_mismatch.rs:2:11
   |
LL |     bar::<N>()
   |           ^ expected `u8`, found `usize`
   |
note: required by a bound in `bar`
  --> $DIR/type_mismatch.rs:6:8
   |
LL | fn bar<const N: u8>() -> [u8; N] {}
   |        ^^^^^^^^^^^ required by this bound in `bar`

error[E0308]: mismatched types
  --> $DIR/type_mismatch.rs:2:11
   |
LL |     bar::<N>()
   |           ^ expected `u8`, found `usize`

error[E0308]: mismatched types
  --> $DIR/type_mismatch.rs:6:26
   |
LL | fn bar<const N: u8>() -> [u8; N] {}
   |    ---                   ^^^^^^^ expected `[u8; N]`, found `()`
   |    |
   |    implicitly returns `()` as its body has no tail or `return` expression

error[E0308]: mismatched types
  --> $DIR/type_mismatch.rs:6:31
   |
LL | fn bar<const N: u8>() -> [u8; N] {}
   |                               ^ expected `usize`, found `u8`

error: aborting due to 4 previous errors

For more information about this error, try `rustc --explain E0308`.