[avgcorrection]

You struggle to imagine a programmer passing a value of the wrong type to a function?

[bb88]

Or passing a wrong value and the compiler allows it because the programmer trusted the compiler to "always do the right thing".