Implement Reachability Analysis for Dead Code Elimination

[yaskhan]

Detect and omit unreachable code based on type constraints.

Task

Implement thorough unreachable code detection similar to Pyright.

Requirements

• Detect code after typing.NoReturn function calls
• Identify impossible match/if branches based on type constraints
• Omit dead V code completely

Implementation Notes

• Pyright-inspired feature
• Reduces generated code size
• Improves compilation performance

Acceptance Criteria

• NoReturn reachability detection
• Type-based branch elimination
• Test cases for dead code removal

Priority

Medium

Labels

enhancement, optimization, dead-code, pyright-inspired

[google-labs-jules]

Jules is on it. When finished, you will see another comment and be able to review a PR.

[google-labs-jules]

I apologize, but I encountered an unexpected error and wasn't able to complete the task.