// RUN: %sourcekitd-test -req=sema %s -- %s > %t.response
// RUN: %FileCheck -input-file=%t.response %s
// This tests that we are not crashing in SILGen.

// CHECK: {{Objective-C interoperability is disabled|@objc attribute used without importing module}}
@objc protocol Communicate {
  var name: String { get }
}
class Cat : Communicate {
  let name = "Felix"
}