Currently, `GenericArgsBinding` is defined as follows ([link](https://doc.rust-lang.org/nightly/reference/paths.html#paths-in-expressions)): ``` GenericArgsBinding : IDENTIFIER = Type ``` This definition does not account for GATs. It should include optional generic arguments after the identifier.