protocol P {
    associatedtype T
    
    func test(x: T) -> T
}

class Example : P {
    
    func test(x: Example) -> Example
    {
        return x
    }
}