// 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: @objc attribute used without importing module | |
@objc protocol Communicate { | |
var name: String { get } | |
} | |
class Cat : Communicate { | |
let name = "Felix" | |
} |