Psalm doesn't seem to understand @phpstan-assert-if-true

[carlosas]

When using getClassReflection() from:

/**
 * @phpstan-assert-if-true !null $this->getClassReflection()
 */
public function isInClass(): bool;
public function getClassReflection(): ?ClassReflection;

https://github.com/phpstan/phpstan-src/blob/1.9.x/src/Reflection/ClassMemberAccessAnswerer.php#L14 and calling a method inside the returned type without checking null first, Psalm throws a PossiblyNullReference error because it doesn't take into account the @phpstan-assert-if-true annotation.

Tested with:

• Psalm 4 https://github.com/carlosas/phpat/actions/runs/3614193413/jobs/6090462709
• Psalm 5 https://github.com/carlosas/phpat/actions/runs/3623424645/jobs/6109267908

[orklah]

Note: IIRC, Psalm has a prerequisite that the class defining assertions on methods should be immutable (or at least the method itself). PHPStan does not support purity/immutability so this may not be a prerequisite on their part. However, if that's the case, Psalm should not silently fail but raise an error for wrong docblock or something