MethodCall: mark virtual nullsafe call with attribute

src/Analyser/NodeScopeResolver.php

@@ -2213,7 +2213,7 @@ function (MutatingScope $scope) use ($expr, $nodeCallback, $context): Expression
 			$throwPoints = array_merge($throwPoints, $result->getThrowPoints());
 		} elseif ($expr instanceof Expr\NullsafeMethodCall) {
 			$nonNullabilityResult = $this->ensureShallowNonNullability($scope, $scope, $expr->var);
-			$exprResult = $this->processExprNode(new MethodCall($expr->var, $expr->name, $expr->args, $expr->getAttributes()), $nonNullabilityResult->getScope(), $nodeCallback, $context);
+			$exprResult = $this->processExprNode(new MethodCall($expr->var, $expr->name, $expr->args, array_merge($expr->getAttributes(), ['virtualNullsafeMethodCall' => true])), $nonNullabilityResult->getScope(), $nodeCallback, $context);
 			$scope = $this->revertNonNullability($exprResult->getScope(), $nonNullabilityResult->getSpecifiedExpressions());
 
 			return new ExpressionResult(
@@ -2368,7 +2368,7 @@ function (MutatingScope $scope) use ($expr, $nodeCallback, $context): Expression
 			}
 		} elseif ($expr instanceof Expr\NullsafePropertyFetch) {
 			$nonNullabilityResult = $this->ensureShallowNonNullability($scope, $scope, $expr->var);
-			$exprResult = $this->processExprNode(new PropertyFetch($expr->var, $expr->name, $expr->getAttributes()), $nonNullabilityResult->getScope(), $nodeCallback, $context);
+			$exprResult = $this->processExprNode(new PropertyFetch($expr->var, $expr->name, array_merge($expr->getAttributes(), ['virtualNullsafePropertyFetch' => true])), $nonNullabilityResult->getScope(), $nodeCallback, $context);
 			$scope = $this->revertNonNullability($exprResult->getScope(), $nonNullabilityResult->getSpecifiedExpressions());
 
 			return new ExpressionResult(

tests/PHPStan/Rules/Methods/VirtualNullsafeMethodCallTest.php

@@ -0,0 +1,56 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Rules\Methods;
+
+use PhpParser\Node;
+use PhpParser\Node\Expr\MethodCall;
+use PHPStan\Analyser\Scope;
+use PHPStan\Rules\Rule;
+use PHPStan\Rules\RuleErrorBuilder;
+use PHPStan\Testing\RuleTestCase;
+
+/**
+ * @extends RuleTestCase<Rule>
+ */
+class VirtualNullsafeMethodCallTest extends RuleTestCase
+{
+
+	/**
+	 * @return Rule<MethodCall>
+	 */
+	protected function getRule(): Rule
+	{
+		return new /** @implements Rule<MethodCall> */ class implements Rule {
+
+			public function getNodeType(): string
+			{
+				return MethodCall::class;
+			}
+
+			public function processNode(Node $node, Scope $scope): array
+			{
+				if ($node->getAttribute('virtualNullsafeMethodCall') === true) {
+					return [RuleErrorBuilder::message('Nullable method call detected')->identifier('')->build()];
+				}
+
+				return [RuleErrorBuilder::message('Regular method call detected')->identifier('')->build()];
+			}
+
+		};
+	}
+
+	public function testAttribute(): void
+	{
+		$this->analyse([ __DIR__ . '/data/virtual-nullsafe-method-call.php'], [
+			[
+				'Regular method call detected',
+				3,
+			],
+			[
+				'Nullable method call detected',
+				4,
+			],
+		]);
+	}
+
+}

tests/PHPStan/Rules/Methods/data/virtual-nullsafe-method-call.php

@@ -0,0 +1,4 @@
+<?php // lint >= 8.0
+
+$foo->regularCall();
+$foo?->nullsafeCall();

tests/PHPStan/Rules/Properties/VirtualNullsafePropertyFetchTest.php

@@ -0,0 +1,56 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Rules\Properties;
+
+use PhpParser\Node;
+use PhpParser\Node\Expr\PropertyFetch;
+use PHPStan\Analyser\Scope;
+use PHPStan\Rules\Rule;
+use PHPStan\Rules\RuleErrorBuilder;
+use PHPStan\Testing\RuleTestCase;
+
+/**
+ * @extends RuleTestCase<Rule>
+ */
+class VirtualNullsafePropertyFetchTest extends RuleTestCase
+{
+
+	/**
+	 * @return Rule<PropertyFetch>
+	 */
+	protected function getRule(): Rule
+	{
+		return new /** @implements Rule<PropertyFetch> */ class implements Rule {
+
+			public function getNodeType(): string
+			{
+				return PropertyFetch::class;
+			}
+
+			public function processNode(Node $node, Scope $scope): array
+			{
+				if ($node->getAttribute('virtualNullsafePropertyFetch') === true) {
+					return [RuleErrorBuilder::message('Nullable property fetch detected')->identifier('')->build()];
+				}
+
+				return [RuleErrorBuilder::message('Regular property fetch detected')->identifier('')->build()];
+			}
+
+		};
+	}
+
+	public function testAttribute(): void
+	{
+		$this->analyse([ __DIR__ . '/data/virtual-nullsafe-property-fetch.php'], [
+			[
+				'Regular property fetch detected',
+				3,
+			],
+			[
+				'Nullable property fetch detected',
+				4,
+			],
+		]);
+	}
+
+}

tests/PHPStan/Rules/Properties/data/virtual-nullsafe-property-fetch.php

@@ -0,0 +1,4 @@
+<?php // lint >= 8.0
+
+$foo->regularFetch;
+$foo?->nullsafeFetch;