Hacker News new | ask | show | jobs
by astrange 5043 days ago
That statement can't be commuted because it expresses a concept that can't be commuted.

If the two checks were independent (pure functions), it's not difficult for a compiler to determine that given enough program visibility.