Division by Zero error

[kkmuffme]

There was an issue originally #4930 which was closed and a PR for it too #4935

However in the meantime PHP changed - this is now a (PHP7, 8) a fatal error and we have int<x, y> syntax available too, so I think we should give it a shot:
https://psalm.dev/r/8d08d00fb5

At least for int (for float it's still not possible without making it too complex) I think it would make sense.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/8d08d00fb5

<?php


$data = rand(0, 1) ? ["some text", 5] : [];
$x = 16 / count($data);
/** @psalm-trace $x */;

$y = rand(0, 1);
$x = 16 / $y;
/** @psalm-trace $x */;

Psalm output (using commit 03ee02c):

INFO: Trace - 6:23 - $x: float|int

INFO: Trace - 10:23 - $x: float|int

INFO: UnusedVariable - 5:1 - $x is never referenced or the value is not used

INFO: UnusedVariable - 8:1 - $y is never referenced or the value is not used

INFO: UnusedVariable - 9:1 - $x is never referenced or the value is not used