`GenericArgsBinding` doesn't account for GATs

[lowr]

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.

[ehuss]

Is there a stable way to actually use that?

[lowr]

The following code compiles on stable and Assoc<i32> = () part is an example of GenericArgsBinding with a generic argument if I'm not mistaken?

trait Trait {
    type Assoc<T>;
}

fn foo<T>(_: T)
where
    T: Trait<Assoc<i32> = ()>
{}

(playground)

[ehuss]

Yep, thanks!