1*67e74705SXin Li// RUN: %clang_cc1 -fobjc-arc -fobjc-runtime-has-weak -Wnullable-to-nonnull-conversion %s -verify 2*67e74705SXin Li 3*67e74705SXin Li 4*67e74705SXin Li// rdar://19985330 5*67e74705SXin Li@interface NSObject @end 6*67e74705SXin Li 7*67e74705SXin Li@class NSFoo; 8*67e74705SXin Livoid foo (NSFoo * _Nonnull); 9*67e74705SXin Li 10*67e74705SXin Li@interface NSBar : NSObject 11*67e74705SXin Li@property(weak) NSFoo *property1; 12*67e74705SXin Li@end 13*67e74705SXin Li 14*67e74705SXin Li#pragma clang assume_nonnull begin 15*67e74705SXin Li@interface NSBar () 16*67e74705SXin Li@property(weak) NSFoo *property2; 17*67e74705SXin Li@end 18*67e74705SXin Li 19*67e74705SXin Li#pragma clang assume_nonnull end 20*67e74705SXin Li 21*67e74705SXin Li@implementation NSBar 22*67e74705SXin Li- (void) Meth { 23*67e74705SXin Li foo (self.property1); // no warning because nothing is inferred 24*67e74705SXin Li foo (self.property2); // expected-warning {{implicit conversion from nullable pointer 'NSFoo * _Nullable' to non-nullable pointer type 'NSFoo * _Nonnull'}} 25*67e74705SXin Li} 26*67e74705SXin Li@end 27