#17725 add more tests for union types

Author: rekmixa

Zend/tests/type_declarations/override_another_type_in_final_class_with_union_type_10.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Overriding another one type in final class with union types
+--FILE--
+<?php
+
+interface A
+{
+    public function methodScalar1(): static|bool;
+}
+
+final class B implements A
+{
+    public function methodScalar1(): C|array { return []; }
+}
+
+class C
+{
+}
+
+$b = new B();
+var_dump($b->methodScalar1());
+?>
+--EXPECTF--
+Fatal error: Declaration of B::methodScalar1(): C|array must be compatible with A::methodScalar1(): static|bool in %s on line %d

Zend/tests/type_declarations/override_another_type_in_final_class_with_union_type_3.phpt

@@ -0,0 +1,25 @@
+--TEST--
+Overriding another one type in final class with union types
+--FILE--
+<?php
+
+interface A
+{
+    public function methodScalar1(): static|bool;
+}
+
+final class B implements A
+{
+    public function methodScalar1(): C { return new C(); }
+}
+
+final class C implements A
+{
+    public function methodScalar1(): self { return $this; }
+}
+
+$b = new B();
+var_dump($b->methodScalar1());
+?>
+--EXPECTF--
+Fatal error: Declaration of B::methodScalar1(): C must be compatible with A::methodScalar1(): static|bool in %s on line %d

Zend/tests/type_declarations/override_another_type_in_final_class_with_union_type_4.phpt

@@ -0,0 +1,25 @@
+--TEST--
+Overriding another one type in final class with union types
+--FILE--
+<?php
+
+interface A
+{
+    public function methodScalar1(): static|bool;
+}
+
+final class B implements A
+{
+    public function methodScalar1(): C|array { return []; }
+}
+
+final class C implements A
+{
+    public function methodScalar1(): self { return $this; }
+}
+
+$b = new B();
+var_dump($b->methodScalar1());
+?>
+--EXPECTF--
+Fatal error: Declaration of B::methodScalar1(): C|array must be compatible with A::methodScalar1(): static|bool in %s on line %d

Zend/tests/type_declarations/override_another_type_in_final_class_with_union_type_5.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Overriding another one type in final class with union types
+--FILE--
+<?php
+
+interface A
+{
+    public function methodScalar1(): static|bool;
+}
+
+final class B implements A
+{
+    public function methodScalar1(): C { return new C(); }
+}
+
+final class C
+{
+}
+
+$b = new B();
+var_dump($b->methodScalar1());
+?>
+--EXPECTF--
+Fatal error: Declaration of B::methodScalar1(): C must be compatible with A::methodScalar1(): static|bool in %s on line %d

Zend/tests/type_declarations/override_another_type_in_final_class_with_union_type_6.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Overriding another one type in final class with union types
+--FILE--
+<?php
+
+interface A
+{
+    public function methodScalar1(): static|bool;
+}
+
+final class B implements A
+{
+    public function methodScalar1(): C|array { return []; }
+}
+
+final class C
+{
+}
+
+$b = new B();
+var_dump($b->methodScalar1());
+?>
+--EXPECTF--
+Fatal error: Declaration of B::methodScalar1(): C|array must be compatible with A::methodScalar1(): static|bool in %s on line %d

Zend/tests/type_declarations/override_another_type_in_final_class_with_union_type_7.phpt

@@ -0,0 +1,25 @@
+--TEST--
+Overriding another one type in final class with union types
+--FILE--
+<?php
+
+interface A
+{
+    public function methodScalar1(): static|bool;
+}
+
+final class B implements A
+{
+    public function methodScalar1(): C { return new C(); }
+}
+
+class C implements A
+{
+    public function methodScalar1(): static { return $this; }
+}
+
+$b = new B();
+var_dump($b->methodScalar1());
+?>
+--EXPECTF--
+Fatal error: Declaration of B::methodScalar1(): C must be compatible with A::methodScalar1(): static|bool in %s on line %d

Zend/tests/type_declarations/override_another_type_in_final_class_with_union_type_8.phpt

@@ -0,0 +1,25 @@
+--TEST--
+Overriding another one type in final class with union types
+--FILE--
+<?php
+
+interface A
+{
+    public function methodScalar1(): static|bool;
+}
+
+final class B implements A
+{
+    public function methodScalar1(): C|array { return []; }
+}
+
+class C implements A
+{
+    public function methodScalar1(): static { return $this; }
+}
+
+$b = new B();
+var_dump($b->methodScalar1());
+?>
+--EXPECTF--
+Fatal error: Declaration of B::methodScalar1(): C|array must be compatible with A::methodScalar1(): static|bool in %s on line %d

Zend/tests/type_declarations/override_another_type_in_final_class_with_union_type_9.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Overriding another one type in final class with union types
+--FILE--
+<?php
+
+interface A
+{
+    public function methodScalar1(): static|bool;
+}
+
+final class B implements A
+{
+    public function methodScalar1(): C { return new C(); }
+}
+
+class C
+{
+}
+
+$b = new B();
+var_dump($b->methodScalar1());
+?>
+--EXPECTF--
+Fatal error: Declaration of B::methodScalar1(): C must be compatible with A::methodScalar1(): static|bool in %s on line %d