Is phpstan supposed to complain about missing return type for functions with no return?

[marekdedic]

Hi,
I've tried seaching the issues, however, I'm not sure what the correct behaviour is - I have a function with no return and a PHPDoc with no return annotation - as it is optional in. However, phpstan at level 6 complains about missing return type. Is that correct? From some of the issues I got the feeling that if a function has no return statement, an implicit @return void should be inferred...

The example file: https://github.com/skaut/skaut-google-drive-gallery/blob/1a430915d31a0238c840aeb67d19a6fcab8900c8/tests/test-class-readonly-string-option.php

Thanks!

[ondrejmirtes]

if a function has no return statement, an implicit @return void should be inferred...

You can't assume that. Missing return type is treated as an implicit mixed.