@objcMembers class BaseClassWithObjCMembers {}

class OtherClassWithObjCMembers : BaseClassWithObjCMembers {}