Repository navigation

Improve match statement union narrowing/inference - #17600

Closed

bergkvist wants to merge 9 commits into

python:masterfrom

bergkvist:tobias/match-union-narrowing

Closed

Improve match statement union narrowing/inference#17600
bergkvist wants to merge 9 commits into
python:masterfrom
bergkvist:tobias/match-union-narrowing

Commits on Jul 27, 2024
- Improve match statement union narrowing/inference
  bergkvist
  committed
  100c659
- Fix lint errors: Use get_proper_type and rename captures to union_captures
  bergkvist
  committed
  c62587a
Commits on Aug 8, 2024
- Save a function call by storing length of union items
  
  bergkvist
  and
  Hnasar
  authored
  e418d98
Commits on Aug 18, 2024
- Refactor: Use UnionType.make_union(..)
  bergkvist
  committed
  e85e8d4
- Use is_uninhabited(typ) instead of isinstance(typ, UninhabitedType)
  bergkvist
  committed
  34585b6
Commits on Sep 1, 2024
- Narrow rest_type based on match type and current_type
  bergkvist
  committed
  cb6fa03
- Fix no-redef lint for rest_type
  bergkvist
  committed
  4d28adf
- [pre-commit.ci] auto fixes from pre-commit.com hooks
  pre-commit-ci[bot]
  committed
  92d3c91
Commits on Jan 18, 2026
- Merge branch 'master' into tobias/match-union-narrowing
  hauntsaninja
  authored
  9b4b1d4