Skip to content

[ty] Respect type variables in top/bottom materializations of invariant generics - #28072

Draft
sharkdp wants to merge 11 commits into
mainfrom
codex/invariant-typevar-materializations
Draft

[ty] Respect type variables in top/bottom materializations of invariant generics#28072
sharkdp wants to merge 11 commits into
mainfrom
codex/invariant-typevar-materializations

[ty] Clarify and relocate constraint satisfiability helper

88059dd
Select commit
Loading
Failed to load commit list.
CodSpeed HQ / CodSpeed Performance Analysis failed Aug 28, 2026 in 0s

Performance Regression: -23.28%

⚠️ Different runtime environments detected

Some benchmarks with significant performance changes were compared across different runtime environments,
which may affect the accuracy of the results.

Open the report in CodSpeed to investigate

❌ 1 regressed benchmark
✅ 125 untouched benchmarks
⏩ 84 skipped benchmarks1

Warning

Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

Mode Benchmark BASE HEAD Efficiency
Simulation ty_micro[invariant_generic_return_union] 198.7 ms 259 ms -23.28%

Tip

Investigate this regression with the CodSpeed MCP and your agent.


Comparing codex/invariant-typevar-materializations (88059dd) with main (c0b78da)

Open in CodSpeed

Footnotes

  1. 84 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports.