このコードは、短絡論理 (&& や ||) ではなく非短絡論理 (& や |) を使用していると思われます。 非短絡論理は、左辺の結果がわかっていて推論できるときでも、両側の式が評価されます。 左辺が右辺の評価でエラーになるケースをガードするなら効率が悪くエラーになる可能性があります。