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