Align ClassConstantAccessType::getResult() with InitializerExprTypeResolver logic

Restructured getResult() to match the $isObject path in
InitializerExprTypeResolver::getClassConstFetchTypeByReflection():

- Extract ClassReflection first via getObjectClassReflections()
- Add enum case handling (EnumCaseObjectType)
- Match exact condition structure: class not final AND constant not final
  AND no phpDocType AND no nativeType → mixed
- Otherwise use getValueType() (declared type for typed constants,
  literal for untyped constants)

Added test cases for final child class inheriting @return static::CONST
and for final typed constant on non-final class.

Co-authored-by: Ondřej Mirtes <ondrejmirtes@users.noreply.github.com>

Author: github-actions[bot]

src/Type/ClassConstantAccessType.php

@@ -51,21 +51,33 @@ public function isResolvable(): bool
 
 	protected function getResult(): Type
 	{
-		if (!$this->type->hasConstant($this->constantName)->yes()) {
+		$classReflections = $this->type->getObjectClassReflections();
+		if (count($classReflections) !== 1) {
+			if (!$this->type->hasConstant($this->constantName)->yes()) {
+				return new ErrorType();
+			}
+
+			return $this->type->getConstant($this->constantName)->getValueType();
+		}
+
+		$constantClassReflection = $classReflections[0];
+		if (!$constantClassReflection->hasConstant($this->constantName)) {
 			return new ErrorType();
 		}
 
-		$constantReflection = $this->type->getConstant($this->constantName);
+		if ($constantClassReflection->isEnum() && $constantClassReflection->hasEnumCase($this->constantName)) {
+			return new Enum\EnumCaseObjectType($constantClassReflection->getName(), $this->constantName);
+		}
 
-		if (!$constantReflection->isFinal()) {
-			$classReflections = $this->type->getObjectClassReflections();
-			if (count($classReflections) === 1 && !$classReflections[0]->isFinal()) {
-				if ($constantReflection->hasNativeType() || $constantReflection->hasPhpDocType()) {
-					return $constantReflection->getValueType();
-				}
+		$constantReflection = $constantClassReflection->getConstant($this->constantName);
 
-				return new MixedType();
-			}
+		if (
+			!$constantClassReflection->isFinal()
+			&& !$constantReflection->isFinal()
+			&& !$constantReflection->hasPhpDocType()
+			&& !$constantReflection->hasNativeType()
+		) {
+			return new MixedType();
 		}
 
 		return $constantReflection->getValueType();

tests/PHPStan/Analyser/nsrt/bug-13828.php

@@ -148,3 +148,30 @@ function testUntypedConstant(WithUntypedConstant $foo): void
 {
 	assertType('mixed', $foo->test());
 }
+
+final class FinalChild extends FooBar
+{
+	const FOO_BAR = 'baz';
+}
+
+function testFinalChild(FinalChild $foo): void
+{
+	assertType("'baz'", $foo->test());
+}
+
+class WithFinalTypedConstant
+{
+	/** @var non-empty-string */
+	final const string FOO_BAR = 'foo';
+
+	/** @return static::FOO_BAR */
+	public function test(): string
+	{
+		return static::FOO_BAR;
+	}
+}
+
+function testFinalTypedConstant(WithFinalTypedConstant $foo): void
+{
+	assertType('non-empty-string', $foo->test());
+}