[rbehrends]

C++ templates are a very idiosyncratic way of doing parametric polymorphism, and the C/C++ compilation model is even more idiosyncratic. You cannot make general statements about parametric polymorphism based on that.

[Arzh]

Everything I said was based on my experience with C++, I was making pointed statements not general ones.