Why does an instantiation of a user-defined type with a template argument compile even when no types are passed?

Question

I\'ve thought that in a user-defined template class, the compiler would always catch incorrect template instantiations at compile time.

However, the below code compil