rust/tests/target/issue_4943.rs

#![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)
    }
}