Coyote on Nostr: If your #cpp looks something like: template<int N, typename T> template<Outer<N, ...If your #cpp looks something like:template<int N, typename T>template<Outer<N, T>::type U>struct Outer<N, T>::template Inner<U> : Outer<N, T> {};You got it correct.