disambiguate dependant name with typename, C++ (vc++)

Language: Layout:

//Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x86

template < typename T > struct TEmptyStaticArray {} ;

namespace Detail
{
// Not equal, stop and give result:
	template<class Type, class CheckedEquals, Type FirstValue, Type SecondValue, class FirstArray, class SecondArray>
	struct TCompareStaticArraysSequentially
	{
		using Equals = CheckedEquals;
	};
// Equal, continue:
	template<class Type, class CheckedEquals, Type Value, class FirstArray, class SecondArray>
	struct TCompareStaticArraysSequentially<Type, CheckedEquals, Value, Value, FirstArray, SecondArray>
	{
		struct Equals_a : TCompareStaticArraysSequentially<Type, class CheckedEquals::template PushBack<Value>,
			FirstArray::PopFront::Front, SecondArray::PopFront::Front,
			class FirstArray::PopFront, class SecondArray::PopFront>::Equals {}; // WORKS

using Equals_b = typename TCompareStaticArraysSequentially<Type, class CheckedEquals::template PushBack<Value>,
			FirstArray::PopFront::Front, SecondArray::PopFront::Front,
			class FirstArray::PopFront, class SecondArray::PopFront>::Equals; // DOES NOT WORK
	};
// Come to an end of one of the arrays:
	template<class Type, class CheckedEquals, Type FirstValue, Type SecondValue, class Array>
	struct TCompareStaticArraysSequentially<Type, CheckedEquals, FirstValue, SecondValue, TEmptyStaticArray<Type>, Array>
	{
		using Equals = CheckedEquals;
	};
	template<class Type, class CheckedEquals, Type FirstValue, Type SecondValue, class Array>
	struct TCompareStaticArraysSequentially<Type, CheckedEquals, FirstValue, SecondValue, Array, TEmptyStaticArray<Type>>
	{
		using Equals = CheckedEquals;
	};
}

template<class Type, class FirstArray, class SecondArray>
struct TCompareStaticArraysSequentially : Detail::TCompareStaticArraysSequentially<Type, TEmptyStaticArray<Type>,
	FirstArray::Front, SecondArray::Front, FirstArray, SecondArray>::Equals {};

#include <iostream>

int main() 
{
    std::cout << "ok\n\n\n" ;
}

Show compiler warnings [ + ] Compiler args [ + ] Show input
Compilation time: 2,27 sec, absolute running time: 0,22 sec, absolute service time: 2,5 sec