Report-backed easy refactor.
Source: Decomplex report-pipeline-smooth-chain-fact.
Problem:
The compiler repeats AST::BinaryOp && op == :SMOOTH checks across pipeline rewriting, pipeline host, MIR lowering, and annotation.
Acceptance:
- Add a small AST predicate for SMOOTH binary-op nodes.
- Replace low-risk duplicated checks.
- Cover predicate behavior and at least one pipeline path.
- No new
T.untyped slots.
Report-backed easy refactor.
Source: Decomplex
report-pipeline-smooth-chain-fact.Problem:
The compiler repeats
AST::BinaryOp && op == :SMOOTHchecks across pipeline rewriting, pipeline host, MIR lowering, and annotation.Acceptance:
T.untypedslots.