Full threadsssilver·This is great. Am I getting it right that this isn't an issue in C++ because the type system in C++ is "invoked" after the templates are "applied"?View on HN