If people are saying "well typed programs don't go wrong" to mean something other than the precise technical statement then you or I will have to correct them.

If people are saying "well typed programs don't go wrong" to mean something other than the precise technical statement then you or I will have to correct them. However you will have to point me to some examples first. I couldn't find any.