validation-test/compiler_crashers_2_fixed/0187-rdar46678653.swift

// RUN: not %target-swift-frontend -typecheck %s

protocol P: class { }

protocol Q {
  func g()
}

protocol P { }

struct S : Q {
  @_implements(P, g())
  func h() {}
}