Если правило создается из void-подправил, оно требует обработчик rule(_ : void) : T.
Немерле запрещает аргументы типа void. То есть создать обработчик невозможно.
Если правило включает void-подправило с квантификатором '?', требуется обработчик с аргументом option[void], что тоже создает проблемы.