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