Currently, GenericArgsBinding is defined as follows (link):

GenericArgsBinding : IDENTIFIER = Type 

This definition does not account for GATs. It should include optional generic arguments after the identifier.