Repository navigation

Let --allow-redefinition-new widen global in function with None init - #21285

Merged

JukkaL merged 11 commits into

Apr 22, 2026

Merged

Let --allow-redefinition-new widen global in function with None init#21285
JukkaL merged 11 commits into
masterfrom
redef-widen

Commits on Apr 21, 2026
- WIP narrowing global in function with --allow-redefinition
  JukkaL
  committed
  8f06769
- Only None can be widened
  JukkaL
  committed
  83e7b75
- Update test case
  JukkaL
  committed
  25170f1
- Fix tests
  JukkaL
  committed
  d8921de
- Fix after rebase
  JukkaL
  committed
  6708f54
- Update tests
  JukkaL
  committed
  ab18788
- Fix methods
  JukkaL
  committed
  8d0376a
- Add fine-grained tests
  JukkaL
  committed
  d1bdbfe
- Add nested function test case
  JukkaL
  committed
  87b52bc
- Minor updates
  JukkaL
  committed
  5a41b0e
Commits on Apr 22, 2026
- Mention relevant test cases
  JukkaL
  committed
  2844601