1struct Outer {
2    template <int I, int J=I> struct Inner {};
3};
4
5void f() {
6  Outer::Inner<2> i;
7}
8