Repository navigation

[AbstractTypeRefining] Skip unreachable casts - #9358

Merged

tlively merged 5 commits into

mainfrom

abstract-type-refining-unreachable

Nov 9, 2026

Merged

[AbstractTypeRefining] Skip unreachable casts#9358
tlively merged 5 commits into
mainfrom
abstract-type-refining-unreachable

Commits on Nov 6, 2026
- [AbstractTypeRefining] Skip unreachable casts
  tlively
  committed
  2a9b853
Commits on Nov 7, 2026
- move checks earlier
  tlively
  committed
  9270ae1
- simplify test
  tlively
  committed
  7442085
- comments
  tlively
  committed
  e9a6af7
- more test coverage
  tlively
  committed
  780b00d