1 2 3 4 5 6 7 8 9 10
#![feature(generic_associated_types)] impl SomeStruct { fn process<T>(v: T) -> <Self as GAT>::R<T> where Self: GAT<R<T> = T>, { SomeStruct::do_something(v) } }