Summary
typechecker_check_node has no explicit case AST_EXTERN_DECL:. Extern declarations fall through to default. Adding an explicit stub prevents silent mishandling if the default branch ever gains behavior.
Scope
Add case AST_EXTERN_DECL: break; (or a validation stub) to typechecker_check_node in src/typecheck.c.
Acceptance Criteria
Note
Post-v0.1 polish item — not blocking any phase.
Summary
typechecker_check_nodehas no explicitcase AST_EXTERN_DECL:. Extern declarations fall through todefault. Adding an explicit stub prevents silent mishandling if the default branch ever gains behavior.Scope
Add
case AST_EXTERN_DECL: break;(or a validation stub) totypechecker_check_nodeinsrc/typecheck.c.Acceptance Criteria
AST_EXTERN_DECLhits explicit case in check_nodeNote
Post-v0.1 polish item — not blocking any phase.