error[E0282]: type annotations needed
  --> $DIR/slice-pattern-refutable.rs:14:9
   |
LL |     let [a, b, c] = Zeroes.into() else {
   |         ^^^^^^^^^
   |
help: consider giving this pattern a type
   |
LL |     let [a, b, c]: /* Type */ = Zeroes.into() else {
   |                  ++++++++++++

error[E0282]: type annotations needed
  --> $DIR/slice-pattern-refutable.rs:21:31
   |
LL |     if let [a, b, c] = Zeroes.into() {
   |            ---------          ^^^^
   |            |
   |            type must be known at this point
   |
help: try using a fully qualified path to specify the expected types
   |
LL |     if let [a, b, c] = <Zeroes as Into<T>>::into(Zeroes) {
   |                        ++++++++++++++++++++++++++      ~

error[E0282]: type annotations needed
  --> $DIR/slice-pattern-refutable.rs:28:31
   |
LL |     if let [a, b, c] = Zeroes.into() {
   |            ---------          ^^^^
   |            |
   |            type must be known at this point
   |
help: try using a fully qualified path to specify the expected types
   |
LL |     if let [a, b, c] = <Zeroes as Into<T>>::into(Zeroes) {
   |                        ++++++++++++++++++++++++++      ~

error: aborting due to 3 previous errors

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