Isn't what you're describing here basically equivalent to saying JS should throw on invalid comparisons, with
try {if (x) then A else B} catch C
if (x) then A else B otherwise C ?
Isn't what you're describing here basically equivalent to saying JS should throw on invalid comparisons, with
rewritten as