"Collapse nested case" produces invalid code when used in a list tail

[matiascr]

Currently, the collapsing of nested cases in list tails produces the invalid syntax ..[] in the result.

pub fn main(elems: List(List(Int))) {
  case elems {
    [] -> 0
    [_, ..tail] ->
      case tail {
        [] -> -1
        _ -> 0
      }
    _ -> -1
  }
}

produces

pub fn main(elems: List(List(Int))) {
  case elems {
    [] -> 0
    [_, ..[]] -> -1
    [_, .._] -> -1
    _ -> -1
  }
}

[lpil]

Ooops, thank you