TypeSpecifier - basic support for get_class() in == operator

Author: ondrejmirtes

src/Analyser/TypeSpecifier.php

@@ -277,6 +277,40 @@ public function specifyTypesInCondition(
 					$context
 				);
 			}
+
+			if (
+				$expr->left instanceof FuncCall
+				&& $expr->left->name instanceof Name
+				&& strtolower($expr->left->name->toString()) === 'get_class'
+				&& isset($expr->left->args[0])
+				&& $rightType instanceof ConstantStringType
+			) {
+				return $this->specifyTypesInCondition(
+					$scope,
+					new Instanceof_(
+						$expr->left->args[0]->value,
+						new Name($rightType->getValue())
+					),
+					$context
+				);
+			}
+
+			if (
+				$expr->right instanceof FuncCall
+				&& $expr->right->name instanceof Name
+				&& strtolower($expr->right->name->toString()) === 'get_class'
+				&& isset($expr->right->args[0])
+				&& $leftType instanceof ConstantStringType
+			) {
+				return $this->specifyTypesInCondition(
+					$scope,
+					new Instanceof_(
+						$expr->right->args[0]->value,
+						new Name($leftType->getValue())
+					),
+					$context
+				);
+			}
 		} elseif ($expr instanceof Node\Expr\BinaryOp\NotEqual) {
 			return $this->specifyTypesInCondition(
 				$scope,

tests/PHPStan/Analyser/TypeSpecifierTest.php

@@ -162,6 +162,26 @@ public function dataCondition(): array
 				['$foo' => 'object'],
 				[],
 			],
+			[
+				new Equal(
+					new FuncCall(new Name('get_class'), [
+						new Arg(new Variable('foo')),
+					]),
+					new String_('Foo')
+				),
+				['$foo' => 'Foo'],
+				['$foo' => '~Foo'],
+			],
+			[
+				new Equal(
+					new String_('Foo'),
+					new FuncCall(new Name('get_class'), [
+						new Arg(new Variable('foo')),
+					])
+				),
+				['$foo' => 'Foo'],
+				['$foo' => '~Foo'],
+			],
 			[
 				new BooleanNot(
 					new Expr\Instanceof_(