(пример честно стырен у Бреслава, где он рассказывал про trade-offs в парсере Котлина; кажется, в Котлине точно так же не компилируется)
Ага, видел эту лекцию :) Но тут пример с синтаксической неразрешимостью, разрулить которую можно было бы семантически (но это очень сложно и, скорее всего, наложило бы дополнительные ограничения), а вот поправить лексическую неразрешимость в грамматике должно быть элементарно