// { dg-additional-options -fmodules-ts } module foo; template class Y; static_assert (sizeof (TPL, Y>::type) == 1); static_assert (sizeof (TPL, Y>::type) != 1, "where's my specialization?");