// Note: the run lines follow their respective tests, since line/column
// matter in this test.

@protocol Bar
@property (readonly) int bar;
@end

@protocol Foo <Bar>

@property (nonatomic, readonly) int foo;
- (void)foobar: (int)x;

@end

int getFoo(id object) {
  id<Foo> modelObject = (id<Foo>)object;
  int foo = modelObject.;
  return foo;
}

// RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:%(line-4):25 %s -o - | FileCheck %s
// CHECK: bar (InBase) : [#int#]bar
// CHECK: foo (InBase) : [#int#]foo
// CHECK-NOT: foobar