Simple arithmetic doesn't seem to work

[danog]

https://psalm.dev/r/0ac047d8fc

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/0ac047d8fc

<?php
$a = 0;
$b = $a + 1;
/** @psalm-trace $a */;
/** @psalm-trace $b */;

Psalm output (using commit 9e19653):

INFO: Trace - 4:23 - $a: 0

INFO: Trace - 5:23 - $b: positive-int

INFO: UnusedVariable - 2:1 - $a is never referenced or the value is not used

INFO: UnusedVariable - 3:1 - $b is never referenced or the value is not used

[weirdan]

did you expect $b: 1?

[danog]

Yep, exactly :)
Noticed this while fixing tests for #5723))

[orklah]

This was fixed