// RUN: not %target-typecheck-verify-swift

protocol P where A : Int {}