Commit 11083f5
Complete: Add conformance tests for CFA (CFA-15)
- Create TS2454 edge case test file covering:
- Class heritage CFA
- Static block definite assignment
- Computed property CFA
- Abstract class patterns
- Closure capture scenarios
- Complex control flow edge cases
- Type guard and assertion scenarios
- Create TS2564 edge case test file covering:
- Computed property names in classes
- Symbol property initialization
- Class expression type inference
- Derived class initialization
- Constructor control flow patterns
- Special property patterns
- Parameter properties
- Add FlowGraph path verification tests:
- If-else branch capture
- Switch statement case capture
- Try-catch-finally path capture
- Loop break/continue capture
- Nested control structure flow
- Class constructor flow
- Add CFA benchmark suite for performance tracking:
- Parse and bind benchmarks
- Type check benchmarks
- Flow analysis benchmarks
- Scaling benchmarks (branches, nesting)
Co-Authored-By: Claude Opus 4.5 <[email protected]>1 parent cfcdaba commit 11083f5
5 files changed
Lines changed: 1523 additions & 0 deletions
File tree
- tests/cases/conformance/controlFlow
- wasm
- benches
- src/checker
0 commit comments