> IMO the real abomination was already present in the language, which is that if blocks do not introduce new scope.

Definitely. You would think if they're going to undermine decades of their own philosophy, they would instead introduce variable declarations and actually help mitigate some bugs in the process.