// RUN: %target-typecheck-verify-swift -verify-ignore-unrelated

class NotEquatable {}

func test_ArrayOfNotEquatableIsNotEquatable() {
  var a = [ NotEquatable(), NotEquatable() ]
  // There is also a note attached to declaration - requirement from conditional conformance of '[NotEquatable]' to 'Equatable'
  if a == a {} // expected-error {{operator function '==' requires that 'NotEquatable' conform to 'Equatable'}}
}