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