Suppose we check for two conditions at the same time: if( (a == b) & (b == c) ).

If a is not equal to b, that makes the first condition false. And that means the whole expression is false regardless of the second condition. So while executing this code, if we find out that a != b, we could hypothetically skip the evaluation of the second condition and save some computer time (and gas fee).

Some programming languages check both conditions regardless of the outcome of the first check, and some have such an optimization that lets them skip the unnecessary checking. How does FunC behave in such situations?

This question was imported from Telegram Chat: https://t.me/tondev/86205