add override_static_type_with_self_in_final_class.phpt

Author: rekmixa

Zend/tests/type_declarations/override_static_type_with_self_in_final_class.phpt

@@ -0,0 +1,53 @@
+--TEST--
+Overriding static return types with self in final class
+--FILE--
+<?php
+
+interface A
+{
+    public function method1(): static;
+}
+
+abstract class B
+{
+    abstract public function method2(): static;
+}
+
+trait C
+{
+    abstract public function method3(): static;
+}
+
+final class Foo extends B implements A
+{
+    use C;
+
+    public function method1(): self
+    {
+        return $this;
+    }
+
+    public function method2(): self
+    {
+        return $this;
+    }
+
+    public function method3(): self
+    {
+        return $this;
+    }
+}
+
+$foo = new Foo();
+
+var_dump($foo->method1());
+var_dump($foo->method2());
+var_dump($foo->method3());
+?>
+--EXPECT--
+object(Foo)#1 (0) {
+}
+object(Foo)#1 (0) {
+}
+object(Foo)#1 (0) {
+}