Hi, I've said in the past that reportAlwaysTrueInLastCondition has been added for completeness and to match how PHPStan behaved by default in the past, but personally I think no one should use it.

What's your reason to enable it? Where do you see the benefit?

The example from the test seems reasonable to me:

	public function doFoo(int $i, \stdClass $std)
	{
		if ($i) {
		} elseif ($std) { // error only with reportAlwaysTrueInLastCondition
		}
	}

Thank you.