Compatibility with naughty projects

ondrejmirtes · ondrejmirtes · commit f5b78d5d1259 · 2022-10-17T11:48:29.000+02:00
diff --git a/src/Analyser/MutatingScope.php b/src/Analyser/MutatingScope.php
@@ -3643,8 +3643,11 @@ private function specifyExpressionType(Expr $expr, Type $type, Type $nativeType)
 		]);
 	}
 
-	public function assignExpression(Expr $expr, Type $type, Type $nativeType): self
+	public function assignExpression(Expr $expr, Type $type, ?Type $nativeType = null): self
 	{
+		if ($nativeType === null) {
+			$nativeType = new MixedType();
+		}
 		$scope = $this;
 		if ($expr instanceof PropertyFetch) {
 			$scope = $this->invalidateExpression($expr)

Original file line number	Diff line number	Diff line change
`@@ -3643,8 +3643,11 @@ private function specifyExpressionType(Expr $expr, Type $type, Type $nativeType)`
`3643`	`3643`	`]);`
`3644`	`3644`	`}`
`3645`	`3645`
`3646`		`- public function assignExpression(Expr $expr, Type $type, Type $nativeType): self`
	`3646`	`+ public function assignExpression(Expr $expr, Type $type, ?Type $nativeType = null): self`
`3647`	`3647`	`{`
	`3648`	`+ if ($nativeType === null) {`
	`3649`	`+ $nativeType = new MixedType();`
	`3650`	`+ }`
`3648`	`3651`	`$scope = $this;`
`3649`	`3652`	`if ($expr instanceof PropertyFetch) {`
`3650`	`3653`	`$scope = $this->invalidateExpression($expr)`