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

struct Resource {
  void doit();
};

template<int x> struct Lock {
  ~Lock() { int a[x]; } // expected-error {{declared as an array with a negative size}}
  Resource* operator->() { return 0; }
};

struct Accessor {
  Lock<-1> operator->();
};

// Make sure we try to instantiate the destructor for Lock here
void f() { Accessor acc; acc->doit(); } // expected-note {{requested here}}