TASK: Don't narrow nullableString === true as string

Author: mhsdesign

src/TypeSystem/Narrower/ExpressionTypeNarrower.php

@@ -78,6 +78,10 @@ public function narrowTypesOfSymbolsIn(ExpressionNode $expressionNode, TypeNarro
                     return NarrowedTypes::empty();
                 }
 
+                if ($other->root instanceof IdentifierNode) {
+                    return NarrowedTypes::empty();
+                }
+
                 return $this->narrowTypesOfSymbolsIn(
                     $other,
                     $boolean->value ? $contextBasedOnOperator : $contextBasedOnOperator->negate()

test/Unit/TypeSystem/Narrower/ExpressionTypeNarrowerTest.php

@@ -76,6 +76,11 @@ public function narrowedExpressionsExamples(): mixed
             'nullableString === variableOfTypeNull' => [
                 'nullableString === variableOfTypeNull', $variableIsNull
             ],
+
+            'nullableString === true' => [
+                'nullableString === true',
+                NarrowedTypes::empty()
+            ],
         ];
     }