The grammar prohibits the following signature:

(x?: "hi");

But both implementations allow it, and it is reasonable. The nonterminal OptionalParameter needs to be augmented to allow it.