Open lowr opened 1 year ago
Is there a stable way to actually use that?
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> = ()>
{}
Yep, thanks!
Currently,
GenericArgsBinding
is defined as follows (link):This definition does not account for GATs. It should include optional generic arguments after the identifier.