feat: THR003 — under-declared throws from callback parameter throws annotations (?bs 0.9)#76

Closed

marcelofarias wants to merge 6 commits into

botkowski/thr002from

botkowski/thr003

Commits on May 21, 2026

feat: THR003 — under-declared throws from callback parameter throws annotations (?bs 0.9)

authored and
Marcelo Farias
committed
fix(thr-check): fix THR003 duplicate info in message; update buildArgsTs doc

authored and
Marcelo Farias
committed
fix(thr003): address Copilot review comments — fix fn-type syntax in examples and simplify message

authored and
Marcelo Farias
committed
fix(thr003): thread src into buildArgsTs; distinguish empty throws {} from missing clause

authored and
Marcelo Farias
committed
docs(parse-fn): fix doc comment — Four transformations, not Three

authored and
Marcelo Farias
committed
fix: correct THR003 diagnostic grammar for missing throws clause

authored and
Marcelo Farias
committed