1 error[E0379]: functions in traits cannot be declared const
2 --> $DIR/issue-54954.rs:5:5
4 LL | const fn const_val<T: Sized>() -> usize {
5 | ^^^^^ functions in traits cannot be const
7 error[E0283]: type annotations needed
8 --> $DIR/issue-54954.rs:1:24
10 LL | const ARR_LEN: usize = Tt::const_val::<[i8; 123]>();
11 | ^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type
13 = note: cannot satisfy `_: Tt`
15 error[E0080]: evaluation of constant value failed
16 --> $DIR/issue-54954.rs:11:15
18 LL | fn f(z: [f32; ARR_LEN]) -> [f32; ARR_LEN] {
19 | ^^^^^^^ referenced constant has errors
21 error[E0080]: evaluation of constant value failed
22 --> $DIR/issue-54954.rs:11:34
24 LL | fn f(z: [f32; ARR_LEN]) -> [f32; ARR_LEN] {
25 | ^^^^^^^ referenced constant has errors
27 error: aborting due to 4 previous errors
29 Some errors have detailed explanations: E0080, E0283, E0379.
30 For more information about an error, try `rustc --explain E0080`.