Repository navigation

Draft: Solve intermediate variable bug - #19399

Draft

randolf-scholz wants to merge 18 commits into

python:masterfrom

randolf-scholz:solve_intermediate_variable_bug

Draft

Draft: Solve intermediate variable bug#19399
randolf-scholz wants to merge 18 commits into
python:masterfrom
randolf-scholz:solve_intermediate_variable_bug

Commits on Jul 23, 2025
- inital commit
  randolf-scholz
  committed
  174e1d3
- 11 failures remain
  randolf-scholz
  committed
  d753d38
- 3 test remain
  randolf-scholz
  committed
  29d5d49
- 1 check remaining
  randolf-scholz
  committed
  43eaa3f
- checks pass
  randolf-scholz
  committed
  cfba9a1
- some simplifications
  randolf-scholz
  committed
  c7f73a8
- revert fixture modification
  randolf-scholz
  committed
  fc42098
- simplify
  randolf-scholz
  committed
  a464408
- Simplified away early inner_solution computation
  randolf-scholz
  committed
  af7a962
- added testLiteralMappingContext
  randolf-scholz
  committed
  869a980
- replace one hack with another
  randolf-scholz
  committed
  20de89f
- fixed use get_proper_type before isinstance check
  randolf-scholz
  committed
  9ae652e
- added testContextFreeConcatInvariantType and testInContextConcatInvariantType
  randolf-scholz
  committed
  24d8c7b
- Added test "testTypedDictWideContext".
  randolf-scholz
  committed
  66f6e7b
- updated testBinaryOperatorContext
  randolf-scholz
  committed
  1db896c
- rebased master
  randolf-scholz
  committed
  451e5cd
- ignore joint when no inner constraints
  randolf-scholz
  committed
  2e62e5f
Commits on Jul 24, 2025
- fix TypedDict with wide context bug
  randolf-scholz
  committed
  ba9aa63