text: // RUN: %clang_cc1 -fsyntax-only -std=c++11 -verify %s
  
  template <typename T>
  struct X {};
  auto b = []() {
    struct S {
      static typename X<decltype(int)>::type Run(){};
      // expected-error@-1 4{{}}
    };
    return 5;
  }();
  
  template <typename T1, typename T2>
  class PC {
  };
  
  template <typename T>
  class P {
    static typename PC<T, Invalid>::Type Foo();
    // expected-error@-1 4{{}}
  };
  