fix boolean short-circuit diagnostic handling#719

Open

jbardin wants to merge 2 commits intomainfrom jbardin/short-circuits

+29-7

Commits on Dec 16, 2024

dropped diagnostics
jbardin
committed

Commits on Dec 17, 2024

re-capture the short-circuit with unknowns
jbardin
committed