namespace N {
template <class T>
struct C {
template <class U, T t>
struct Implementation {};
};
template <class T>
template <T t>
struct C<T>::Implementation<void, t> {
static void method() {}
};
}
int main() {
N::C<int>::Implementation<void, 0>::method();
}