duplicates:

• SR-55 non-@objc protocol existentials do not conform to their own protocol type

Issue Description:

I would expect the following to compile. The protocol used as an existential type should also conform to the constraint given in the generic function concrete.

However, it gives the error: error: cannot invoke 'concrete' with an argument list of type '(P)'

protocol P {
    func go()
}

extension String: P {
    func go() {
        print("String")
    }
}
extension Int: P {
    func go() {
        print("Int")
    }
}

func concrete<T: P>(_ a: T) {
    a.go()
}

func abstract(a: P) {
    concrete(a)
}