Imagine a language were assignments were only done via := and comparisons with = or ==. A programmer would never encounter this error.
Modern Ada's a thoroughly nice language; I did a writeup: https://cowlark.com/2014-04-27-ada
Modern Ada's a thoroughly nice language; I did a writeup: https://cowlark.com/2014-04-27-ada