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();
}