Problem
The analyser infers Bool for and / or expressions but currently only analyses the operands; it does not report a type error when a known operand type is incompatible with Bool.
Desired outcome
Emit a diagnostic for a known non-Bool operand while preserving the existing Any fallback behaviour.
Location
ndc_analyser/src/analyser.rs, Expression::Logical.
Problem
The analyser infers
Boolforand/orexpressions but currently only analyses the operands; it does not report a type error when a known operand type is incompatible withBool.Desired outcome
Emit a diagnostic for a known non-
Booloperand while preserving the existingAnyfallback behaviour.Location
ndc_analyser/src/analyser.rs,Expression::Logical.