Discard changes to src/Analyser/MutatingScope.php

Author: staabm

src/Analyser/MutatingScope.php

@@ -4485,9 +4485,8 @@ public function addTypeToExpression(Expr $expr, Type $type): self
 
 		if ($originalExprType->equals($nativeType)) {
 			$newType = TypeCombinator::intersect($type, $originalExprType);
-			if ($newType->isObject()->no() && $newType->equals($originalExprType)) {
-				// don't add the same type over and over again to improve performance.
-				// objects can get narrowed even though ObjectType->equal() will return true (e.g. via implicit "final" via new Foo())
+			if ($newType->isConstantScalarValue()->yes() && $newType->equals($originalExprType)) {
+				// don't add the same type over and over again to improve performance
 				return $this;
 			}
 			return $this->specifyExpressionType($expr, $newType, $newType, TrinaryLogic::createYes());