1 error[E0005]: refutable pattern in function argument: `&[]` not covered
2 --> $DIR/const_let_refutable.rs:3:16
4 LL | const fn slice([a, b]: &[i32]) -> i32 {
5 | ^^^^^^ pattern `&[]` not covered
7 error[E0723]: can only call other `const fn` within a `const fn`, but `const <&i32 as std::ops::Add>::add` is not stable as `const fn`
8 --> $DIR/const_let_refutable.rs:4:5
13 = note: for more information, see issue https://github.com/rust-lang/rust/issues/57563
14 = help: add `#![feature(const_fn)]` to the crate attributes to enable
16 error[E0381]: use of possibly uninitialized variable: `a`
17 --> $DIR/const_let_refutable.rs:4:5
20 | ^ use of possibly uninitialized `a`
22 error[E0381]: use of possibly uninitialized variable: `b`
23 --> $DIR/const_let_refutable.rs:4:9
26 | ^ use of possibly uninitialized `b`
28 error: aborting due to 4 previous errors
30 Some errors have detailed explanations: E0005, E0381, E0723.
31 For more information about an error, try `rustc --explain E0005`.