Вот как выглядит свертка кода для сопоставления:

match (x)
{
[+] | case1 =>
    ...
[+] | case2 =>
    ...
    | _ =>
[+]  ...
}

Почему нельзя свернуть сопоставление по умолчанию в месте "| _", а остальные можно ?
Видимо там неправильно подсчитывается номер строки.