Fix generalization of EnumCaseObjectType

src/Type/Enum/EnumCaseObjectType.php

@@ -10,6 +10,7 @@
 use PHPStan\TrinaryLogic;
 use PHPStan\Type\CompoundType;
 use PHPStan\Type\Constant\ConstantStringType;
+use PHPStan\Type\GeneralizePrecision;
 use PHPStan\Type\ObjectType;
 use PHPStan\Type\Type;
 use PHPStan\Type\VerbosityLevel;
@@ -126,6 +127,11 @@ public function getProperty(string $propertyName, ClassMemberAccessAnswerer $sco
 		return parent::getProperty($propertyName, $scope);
 	}
 
+	public function generalize(GeneralizePrecision $precision): Type
+	{
+		return new parent($this->getClassName(), null, $this->getClassReflection());
+	}
+
 	/**
 	 * @param mixed[] $properties
 	 */

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -728,6 +728,11 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-6696.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/../Rules/Methods/data/filter-iterator-child-class.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/smaller-than-benevolent.php');
+
+		if (PHP_VERSION_ID >= 80100) {
+			yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-6695.php');
+		}
+
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-6698.php');
 	}
 

tests/PHPStan/Analyser/data/bug-6695.php

@@ -0,0 +1,58 @@
+<?php // lint >= 8.1
+
+namespace Bug6695;
+
+use function PHPStan\Testing\assertType;
+
+enum Foo: int
+{
+	case BAR = 1;
+	case BAZ = 2;
+
+	public function toCollection(): void
+	{
+		assertType('Bug6695\Collection<int, Bug6695\Foo>', $this->collect(self::cases()));
+	}
+
+	/**
+	 * Create a collection from the given value.
+	 *
+	 * @template TKey of array-key
+	 * @template TValue
+	 *
+	 * @param  iterable<TKey, TValue>  $value
+	 * @return Collection<TKey, TValue>
+	 */
+	function collect($value): Collection
+	{
+		return new Collection($value);
+	}
+
+}
+
+/**
+ * @template TKey of array-key
+ * @template TValue
+ *
+ */
+class Collection
+{
+
+	/**
+	 * The items contained in the collection.
+	 *
+	 * @var iterable<TKey, TValue>
+	 */
+	protected $items = [];
+
+	/**
+	 * Create a new collection.
+	 *
+	 * @param  iterable<TKey, TValue>  $items
+	 * @return void
+	 */
+	public function __construct($items = [])
+	{
+		$this->items = $items;
+	}
+}