This does not work:
module M {
fun a(d : Array(Number)) : String {
case (d) {
[3, ...rest] => "ok"
=> "not ok"
}
}
}
Maybe it's not implemented, but the error message is misleading:
I was looking for the name of the field of a record to access but found ..rest] instead.