// RUN: %clang_cc1 -fsyntax-only -fmodules %s -verify
// RUN: %clang_cc1 -fsyntax-only %s -verify
// expected-no-diagnostics
template <typename Var>
struct S {
template <unsigned N>
struct Inner { };
template <>
struct Inner<0> { };
};
S<int>::Inner<1> I1;
S<int>::Inner<0> I0;