// RUN: %clang_cc1 -fsyntax-only -verify %s

@interface Foo {
  id x;
}
@property (nonatomic, retain) id x; // expected-note{{property declared here}}
@property (nonatomic, retain) id x; // expected-error{{property has a previous declaration}}
@end