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 4 Self: GAT<R<T> = T>, 5 { 6 SomeStruct::do_something(v) 7 } 8 } 9