From da21229cab76cb785643edef2be3bf2cb38492ec Mon Sep 17 00:00:00 2001
From: Daniil Gentili <daniil@daniil.it>
Date: Sat, 5 Nov 2022 19:15:46 +0100
Subject: [PATCH] Fix #8664

---
 .../Expression/ClassConstAnalyzer.php         |  2 +-
 tests/ConstantTest.php                        | 38 +++++++++++++++++++
 2 files changed, 39 insertions(+), 1 deletion(-)

diff --git a/src/Psalm/Internal/Analyzer/Statements/Expression/ClassConstAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Expression/ClassConstAnalyzer.php
index 6926f6ed0..5e8db7bae 100644
--- a/src/Psalm/Internal/Analyzer/Statements/Expression/ClassConstAnalyzer.php
+++ b/src/Psalm/Internal/Analyzer/Statements/Expression/ClassConstAnalyzer.php
@@ -780,7 +780,7 @@ class ClassConstAnalyzer
                 }
 
                 // Check overridden final
-                if ($parent_const_storage->final) {
+                if ($parent_const_storage->final && $parent_const_storage !== $const_storage) {
                     IssueBuffer::maybeAdd(
                         new OverriddenFinalConstant(
                             "{$const_name} cannot be overridden because it is marked as final in "
diff --git a/tests/ConstantTest.php b/tests/ConstantTest.php
index dccd9c85c..c7152b432 100644
--- a/tests/ConstantTest.php
+++ b/tests/ConstantTest.php
@@ -1482,6 +1482,44 @@ class ConstantTest extends TestCase
                     }
                 ',
             ],
+            'finalConst' => [
+                'code' => '<?php
+                    class Foo
+                    {
+                        final public const BAR="baz";
+                    }
+
+                    class Baz extends Foo
+                    {
+                    }
+
+                    $a = Baz::BAR;
+                ',
+                'assertions' => [
+                    '$a===' => "'baz'"
+                ],
+                'ignored_issues' => [],
+                'php_version' => '8.1'
+            ],
+            'finalConstInterface' => [
+                'code' => '<?php
+                    interface Foo
+                    {
+                        final public const BAR="baz";
+                    }
+
+                    class Baz implements Foo
+                    {
+                    }
+
+                    $a = Baz::BAR;
+                ',
+                'assertions' => [
+                    '$a===' => "'baz'"
+                ],
+                'ignored_issues' => [],
+                'php_version' => '8.1'
+            ],
         ];
     }