Note that this is only an issue in non-generic context. For dependent names you have to disambiguate with "typename" and "template". But yeah, it looks like a

Note that this is only an issue in non-generic context. For dependent names you have to disambiguate with "typename" and "template". But yeah, it looks like a C++ compiler has to instantiate templates in lock-step with parsing to make this work, but possibly there are some tricks that are applicable here. In any case, this looks like a hard problem.