1 2 3 4 5 6 7
impl SomeStruct { fn process<T>(v: T) -> <Self as GAT>::R<T> where Self: GAT<R<T> = T> { SomeStruct::do_something(v) } }