// 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{{}}
};