[david-given]

Ada does precisely this. (It also doesn't support assignment inside expressions at all.)

Modern Ada's a thoroughly nice language; I did a writeup: https://cowlark.com/2014-04-27-ada