Fix specifying types on nullsafe true/false comparison

Author: rvanvelzen

src/Analyser/TypeSpecifier.php

@@ -1134,7 +1134,7 @@ private function specifyTypesForConstantBinaryExpression(
 	{
 		if (!$context->null() && $constantType->isFalse()->yes()) {
 			$types = $this->create($exprNode, $constantType, $context, false, $scope, $rootExpr);
-			if ($exprNode instanceof Expr\NullsafeMethodCall || $exprNode instanceof Expr\NullsafePropertyFetch) {
+			if (!$context->true() && ($exprNode instanceof Expr\NullsafeMethodCall || $exprNode instanceof Expr\NullsafePropertyFetch)) {
 				return $types;
 			}
 
@@ -1148,7 +1148,7 @@ private function specifyTypesForConstantBinaryExpression(
 
 		if (!$context->null() && $constantType->isTrue()->yes()) {
 			$types = $this->create($exprNode, $constantType, $context, false, $scope, $rootExpr);
-			if ($exprNode instanceof Expr\NullsafeMethodCall || $exprNode instanceof Expr\NullsafePropertyFetch) {
+			if (!$context->true() && ($exprNode instanceof Expr\NullsafeMethodCall || $exprNode instanceof Expr\NullsafePropertyFetch)) {
 				return $types;
 			}
 

tests/PHPStan/Analyser/nsrt/bug-12866.php

@@ -0,0 +1,65 @@
+<?php declare(strict_types = 1); // lint >= 8.0
+
+namespace Bug12866;
+
+use function PHPStan\Testing\assertType;
+
+interface I
+{
+	/**
+	 * @phpstan-assert-if-true A $this
+	 */
+	public function isA(): bool;
+}
+
+class A implements I
+{
+	public function isA(): bool
+	{
+		return true;
+	}
+}
+
+class B implements I
+{
+	public function isA(): bool
+	{
+		return false;
+	}
+}
+
+function takesI(I $i): void
+{
+	if (!$i->isA()) {
+		return;
+	}
+
+	assertType('Bug12866\\A', $i);
+}
+
+function takesIStrictComparison(I $i): void
+{
+	if ($i->isA() !== true) {
+		return;
+	}
+
+	assertType('Bug12866\\A', $i);
+}
+
+function takesNullableI(?I $i): void
+{
+	if (!$i?->isA()) {
+		return;
+	}
+
+	assertType('Bug12866\\A', $i);
+}
+
+function takesNullableIStrictComparison(?I $i): void
+{
+	if ($i?->isA() !== true) {
+		return;
+	}
+
+	assertType('Bug12866\\A', $i);
+}