Skip to content

[ty] Implement Duboc's TDD optimization for narrowing constraints #25787

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
charliermarsh wants to merge 12 commits into
base: main
Choose a base branch
from

Revert "[ty] Fast-path BDD narrowing conjunctions"

d774951
Select commit
Loading
Failed to load commit list.
Open

[ty] Implement Duboc's TDD optimization for narrowing constraints #25787

Revert "[ty] Fast-path BDD narrowing conjunctions"
d774951
Select commit
Loading
Failed to load commit list.
CodSpeed HQ / CodSpeed Performance Analysis succeeded Jun 10, 2026 in 0s

Performance Gate Passed

⚡ 1 improved benchmark
✅ 126 untouched benchmarks
🆕 6 new benchmarks

Performance Changes

Mode Benchmark BASE HEAD Efficiency
⚡ Simulation ty_micro[literal_equality_fallthrough_guarded_any] 180.5 ms 129 ms +39.92%
🆕 Simulation ty_micro[typeis_elif_narrowing] N/A 173.3 ms N/A
🆕 Simulation ty_micro[large_isinstance_narrowing_across_calls] N/A 201.1 ms N/A
🆕 Simulation ty_micro[large_isinstance_narrowing_mixed_calls] N/A 195.2 ms N/A
🆕 Memory ty_micro[typeis_elif_narrowing] N/A 14.1 MB N/A
🆕 Memory ty_micro[large_isinstance_narrowing_across_calls] N/A 14.8 MB N/A
🆕 Memory ty_micro[large_isinstance_narrowing_mixed_calls] N/A 14.7 MB N/A

Tip

Curious why this is faster? Use the CodSpeed MCP and ask your agent.

Comparing charlie/duboc-narrowing-constraints (d774951) with main (8b79528)

Open in CodSpeed
View more details on CodSpeed HQ