Support for native pure intersection types

composer.json

@@ -23,7 +23,7 @@
 		"nette/utils": "^3.1.3",
 		"nikic/php-parser": "4.13.1",
 		"ondram/ci-detector": "^3.4.0",
-		"ondrejmirtes/better-reflection": "4.3.74",
+		"ondrejmirtes/better-reflection": "4.3.75",
 		"phpstan/php-8-stubs": "^0.1.23",
 		"phpstan/phpdoc-parser": "^1.2.0",
 		"react/child-process": "^0.6.4",

conf/config.neon

@@ -5,6 +5,7 @@ parameters:
 		- ../stubs/runtime/ReflectionUnionType.php
 		- ../stubs/runtime/ReflectionAttribute.php
 		- ../stubs/runtime/Attribute.php
+		- ../stubs/runtime/ReflectionIntersectionType.php
 	excludes_analyse: []
 	excludePaths: null
 	level: null

src/Reflection/ReflectionProvider/ClassBlacklistReflectionProvider.php

@@ -79,7 +79,7 @@ private function isClassBlacklisted(string $className): bool
 			if (!class_exists($className, false)) {
 				return true;
 			}
-			if (in_array(strtolower($className), ['reflectionuniontype', 'attribute', 'returntypewillchange'], true)) {
+			if (in_array(strtolower($className), ['reflectionuniontype', 'attribute', 'returntypewillchange', 'reflectionintersectiontype'], true)) {
 				return true;
 			}
 			$reflection = new \ReflectionClass($className);

src/Type/TypehintHelper.php

@@ -5,6 +5,7 @@
 use PHPStan\Reflection\ReflectionProviderStaticAccessor;
 use PHPStan\Type\Constant\ConstantBooleanType;
 use PHPStan\Type\Generic\TemplateTypeHelper;
+use ReflectionIntersectionType;
 use ReflectionNamedType;
 use ReflectionType;
 use ReflectionUnionType;
@@ -87,6 +88,14 @@ public static function decideTypeFromReflection(
 			return self::decideType($type, $phpDocType);
 		}
 
+		if ($reflectionType instanceof ReflectionIntersectionType) {
+			$type = TypeCombinator::intersect(...array_map(static function (ReflectionType $type) use ($selfClass): Type {
+				return self::decideTypeFromReflection($type, null, $selfClass, false);
+			}, $reflectionType->getTypes()));
+
+			return self::decideType($type, $phpDocType);
+		}
+
 		if (!$reflectionType instanceof ReflectionNamedType) {
 			throw new \PHPStan\ShouldNotHappenException(sprintf('Unexpected type: %s', get_class($reflectionType)));
 		}

stubs/runtime/ReflectionIntersectionType.php

@@ -0,0 +1,18 @@
+<?php
+
+if (\PHP_VERSION_ID < 80100) {
+	if (class_exists('ReflectionIntersectionType', false)) {
+		return;
+	}
+
+	class ReflectionIntersectionType extends ReflectionType
+	{
+
+		/** @return ReflectionType[] */
+		public function getTypes()
+		{
+			return [];
+		}
+
+	}
+}

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -536,6 +536,10 @@ public function dataFileAsserts(): iterable
 			yield from $this->gatherAssertTypes(__DIR__ . '/data/never.php');
 		}
 
+		if (PHP_VERSION_ID >= 80100 || self::$useStaticReflectionProvider) {
+			yield from $this->gatherAssertTypes(__DIR__ . '/data/native-intersection.php');
+		}
+
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2760.php');
 	}
 

tests/PHPStan/Analyser/data/native-intersection.php

@@ -0,0 +1,29 @@
+<?php // lint >= 8.1
+
+namespace NativeIntersection;
+
+use function PHPStan\Testing\assertType;
+
+interface A
+{
+
+}
+
+interface B
+{
+
+}
+
+class Foo
+{
+
+	private A&B $prop;
+
+	public function doFoo(A&B $ab): A&B
+	{
+		assertType('NativeIntersection\A&NativeIntersection\B', $this->prop);
+		assertType('NativeIntersection\A&NativeIntersection\B', $ab);
+		assertType('NativeIntersection\A&NativeIntersection\B', $this->doFoo($ab));
+	}
+
+}