Fix missing properties on UnitEnum and BackedEnum

Author: ondrejmirtes

composer.json

@@ -23,7 +23,7 @@
 		"nette/utils": "^3.2.5",
 		"nikic/php-parser": "^4.13.2",
 		"ondram/ci-detector": "^3.4.0",
-		"ondrejmirtes/better-reflection": "5.0.6.2",
+		"ondrejmirtes/better-reflection": "5.0.6.3",
 		"phpstan/php-8-stubs": "0.1.41",
 		"phpstan/phpdoc-parser": "^1.2.0",
 		"react/child-process": "^0.6.4",

composer.lock

@@ -523,4 +523,24 @@ public function testBug5868(): void
 		]);
 	}
 
+	public function testBug6385(): void
+	{
+		if (PHP_VERSION_ID < 80100) {
+			$this->markTestSkipped('Test requires PHP 8.1.');
+		}
+
+		$this->checkThisOnly = false;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/bug-6385.php'], [
+			[
+				'Access to an undefined property UnitEnum::$value.',
+				43,
+			],
+			[
+				'Access to an undefined property Bug6385\ActualUnitEnum::$value.',
+				47,
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Properties/AccessPropertiesRuleTest.php

@@ -0,0 +1,53 @@
+<?php // lint >= 8.1
+
+namespace Bug6385;
+
+use BackedEnum;
+use UnitEnum;
+
+final class EnumValue
+{
+	public readonly string $name;
+	public readonly string $value;
+
+	public function __construct(
+		BackedEnum | string $name,
+		BackedEnum | string $value
+	) {
+		$this->name = $name instanceof BackedEnum ? $name->name : $name;
+		$this->value = $value instanceof BackedEnum ? $value->name : $value;
+	}
+}
+
+enum ActualUnitEnum
+{
+
+}
+
+enum ActualBackedEnum: int
+{
+
+}
+
+class Foo
+{
+
+	public function doFoo(
+		UnitEnum $unitEnum,
+		BackedEnum $backedEnum,
+		ActualUnitEnum $actualUnitEnum,
+		ActualBackedEnum $actualBackedEnum
+	)
+	{
+		echo $unitEnum->name;
+		echo $unitEnum->value;
+		echo $backedEnum->name;
+		echo $backedEnum->value;
+		echo $actualUnitEnum->name;
+		echo $actualUnitEnum->value;
+		echo $actualBackedEnum->name;
+		echo $actualBackedEnum->value;
+		
+	}
+
+}