Bug report
don't expect the error we get at the snippet
Variable $models in PHPDoc tag @var does not match any variable in the foreach loop: $k, $v
Code snippet that reproduces the problem
https://phpstan.org/r/023e9ade-8493-4017-92d5-d83a8698a18f
Expected output
no error