Repository navigation

fix(python): emit widening integer casts - #5087

Merged

dbrattli merged 2 commits into

mainfrom

fix/python-int-widening-cast

Oct 15, 2026

Merged

fix(python): emit widening integer casts#5087
dbrattli merged 2 commits into
mainfrom
fix/python-int-widening-cast

Commits on Oct 15, 2026
- fix(python): emit widening integer casts
  MangelMaxime
  committed
  edde51c
- test(python): strengthen integer widening regressions
  dbrattli
  committed
  c4bc506