1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify %s 2*67e74705SXin Li // PR9615 3*67e74705SXin Li 4*67e74705SXin Li struct Resource { 5*67e74705SXin Li void doit(); 6*67e74705SXin Li }; 7*67e74705SXin Li 8*67e74705SXin Li template<int x> struct Lock { ~LockLock9*67e74705SXin Li ~Lock() { int a[x]; } // expected-error {{declared as an array with a negative size}} operator ->Lock10*67e74705SXin Li Resource* operator->() { return 0; } 11*67e74705SXin Li }; 12*67e74705SXin Li 13*67e74705SXin Li struct Accessor { 14*67e74705SXin Li Lock<-1> operator->(); 15*67e74705SXin Li }; 16*67e74705SXin Li 17*67e74705SXin Li // Make sure we try to instantiate the destructor for Lock here f()18*67e74705SXin Livoid f() { Accessor acc; acc->doit(); } // expected-note {{requested here}} 19*67e74705SXin Li 20