Repository navigation

Typecheck unreachable code - #18707

Closed

A5rocks wants to merge 46 commits into

python:masterfrom

A5rocks:experiments/typecheck-unreachable

Closed

Typecheck unreachable code#18707
A5rocks wants to merge 46 commits into
python:masterfrom
A5rocks:experiments/typecheck-unreachable

Commits on Feb 19, 2025
- Start type checking unreachable code
  A5rocks
  committed
  be1071e
- Pass self-check
  A5rocks
  committed
  d996918
- Hacky fix to narrow unreachable literals
  A5rocks
  committed
  07de5bf
- 20% of tests
  A5rocks
  committed
  bac268b
- 25% of tests
  A5rocks
  committed
  2da4b7c
- 30% of tests
  A5rocks
  committed
  ba9dab2
- 40% of tests
  A5rocks
  committed
  7c39efa
- 50% of tests
  A5rocks
  committed
  18642d0
- 60% of tests
  A5rocks
  committed
  879b274
- Pass all tests
  A5rocks
  committed
  c62093e
Commits on Feb 20, 2025
- Narrow `isinstance` checks to `Never`
  A5rocks
  committed
  e242b5e
- Don't treat `reveal_type(<Never>)` as a no-op
  A5rocks
  committed
  69efb41
Commits on Feb 21, 2025
- Ensure functions with typevar values don't get false positives
  A5rocks
  committed
  f846af7
- Ensure that `<Never>.x` is `Never`
  A5rocks
  committed
  390ade8
- Ensure that `<Never>()` is `Never`
  A5rocks
  committed
  f3ba149
Commits on Feb 24, 2025
- Only report unreachability once
  A5rocks
  committed
  92a4428
- Narrow `callable` checks to `Never`
  A5rocks
  committed
  c76d422
- Address CI failures
  A5rocks
  committed
  be1d524
- Narrow `match` captures to `Never`
  A5rocks
  committed
  13ad1cb
- Don't check unreachable code with partial types
  A5rocks
  committed
  53553e7
- Avoid strange behavior regarding "narrowing" expressions for unreachability
  A5rocks
  committed
  6cc9930
- Unpack `Never` iterables
  A5rocks
  committed
  4ddd34e
Commits on Mar 3, 2025
- Narrow disjoint narrows to `Never`
  A5rocks
  committed
  3cda7db
- Fix `redundant-expr` for comprehensions
  A5rocks
  committed
  6e97289
- Narrow `issubclass` to `Never`
  A5rocks
  committed
  28894ce
- Narrow things based on key types even if the type is `Never`
  A5rocks
  committed
  be6573e
Commits on Mar 4, 2025
- Update some tests
  A5rocks
  committed
  4718cfd
- `typing.assert_never(5)` is fine in unreachable code
  A5rocks
  committed
  475f8b1
- Non-ambiguous `Never` is fine as inference result
  A5rocks
  committed
  72349c0
Commits on Mar 6, 2025
- Implement or-ing typemaps for `Never`-based unreachability
  A5rocks
  committed
  ca11151
- Tuple length checks should narrow to `Never`
  A5rocks
  committed
  22e73d5
- Narrow walrus to `Never` if unreachable
  A5rocks
  committed
  2bd0802
- Narrow unreachable captures due to guards in `match` to `Never`
  A5rocks
  committed
  8fb6fab
- Narrow impossible values in mapping pattern to `Never`
  A5rocks
  committed
  0f41d33
- Smooth out edges
  A5rocks
  committed
  b641ed4
Commits on Mar 7, 2025
- Propagate suppressing unreachability warnings
  A5rocks
  committed
  dcc4f29
Commits on Mar 9, 2025
- Fix typemap handling for ternaries
  A5rocks
  committed
  98abde4
- Ensure `--strict-equality` works correctly with partial types
  A5rocks
  committed
  390388a
Commits on Mar 13, 2025
- Support `Never` callables in plugins
  A5rocks
  committed
  dc8ed71
- Add a test about narrowing behavior
  A5rocks
  committed
  102ac11
Commits on Mar 17, 2025
- Merge remote-tracking branch 'upstream/master' into experiments/typecheck-unreachable
  A5rocks
  committed
  f7f8915
Commits on Mar 31, 2025
- Merge branch 'master' into experiments/typecheck-unreachable
  A5rocks
  authored
  bc8cb90
Commits on Apr 9, 2025
- Address PR review
  A5rocks
  committed
  ac03c88
- Add an option to enable checking unreachable code
  A5rocks
  committed
  4f319bb
- Update test cases to pass
  A5rocks
  committed
  d5e4a47
- Don't typecheck unreachable noops
  A5rocks
  committed
  730d9ee

Commits

Commits on Feb 19, 2025

Commits on Feb 20, 2025

Commits on Feb 21, 2025

Commits on Feb 24, 2025

Commits on Mar 3, 2025

Commits on Mar 4, 2025

Commits on Mar 6, 2025

Commits on Mar 7, 2025

Commits on Mar 9, 2025

Commits on Mar 13, 2025

Commits on Mar 17, 2025

Commits on Mar 31, 2025

Commits on Apr 9, 2025