SplFileInfo::getSize returns int instead of int|false

[neclimdul]

At least, I think there's something wrong with the stub for this method. The documentation says int or null on failure but trying to handle the failure condition results in a warning from psalm.

• https://psalm.dev/r/bdaae2f851
• https://www.php.net/manual/en/splfileinfo.getsize.php

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/bdaae2f851

<?php declare(strict_types = 1);

class HelloWorld
{
	public function __construct(private \SplFileObject $file) {}
	public function sayHello(): ?int
	{
		$size = $this->file->getSize();
		if ($size !== false) {
			return $size;
		}
		// so some other things.
		return null;		
	}
}

Psalm output (using commit 7c83878):

ERROR: RedundantCondition - 9:7 - int can never contain false