Fix bug #80055

We need to perform trait scope fixup for both methods involved
in the inheritance check. For that purpose we already need to
thread through a separate fn scope through the entire inheritance
checking machinery.

1 files changed, 24 insertions, 0 deletions

diff --git a/Zend/tests/bug80055.phpt b/Zend/tests/bug80055.phpt
new file mode 100644
index 0000000000..f43ab490a3
--- /dev/null
+++ b/Zend/tests/bug80055.phpt
@@ -0,0 +1,24 @@
+--TEST--
+Bug #80055: Abstract trait methods returning "self" cannot be fulfilled by traits
+--FILE--
+<?php
+
+trait AbstractTrait {
+    abstract public function selfReturner(): self;
+}
+
+trait ConcreteTrait {
+    public function selfReturner(): self {
+        return $this;
+    }
+}
+
+class Test {
+    use AbstractTrait;
+    use ConcreteTrait;
+}
+
+?>
+===DONE===
+--EXPECT--
+===DONE===