// RUN: %target-parse-verify-swift

class C { }

protocol P { // expected-note{{requirement specified as 'Self.AssocP' : 'C' [with Self = X]}}
  associatedtype AssocP : C
}

struct X : P { // expected-error{{'P' requires that 'AssocP' (aka 'Int') inherit from 'C'}}
  typealias AssocP = Int
}