Properly check variable assignment #36

2026-07-08T19:28:46+02:00

HEL commented

2026-07-08 19:28:46 +02:00

This PR fixes the resolver to properly check if variables are defined when referenced. It also fixes leaks from for loops
The type checker might still emit conservative warnings for variable it is unsure about whether they're defined, but it will emit errors when it is sure that at least one path doesn't define a value.

This PR fixes the resolver to properly check if variables are defined when referenced. It also fixes leaks from for loops The type checker might still emit conservative warnings for variable it is unsure about whether they're defined, but it will emit errors when it is sure that at least one path doesn't define a value.

HEL self-assigned this 2026-07-08 19:28:46 +02:00

HEL added 3 commits 2026-07-08 19:28:47 +02:00

fix(resolver): properly check if variable is defined 1b5691dca7

tests: add test for variable assignment 06f71f2945

fix(checker): leaking for-loop iterator target

Tests / tests (pull_request) Successful in 6s

Details

ab7012c538

HEL added 1 commit 2026-07-08 19:30:21 +02:00

chore: add new parameter to docstring

Tests / tests (pull_request) Successful in 5s

Details