Comment by lupire

It is. But in the real world there is no compiler to prevent misuse. There is only a very lazy and incomplete runtime checker.