[skip ci] Get explicit notation working

Have a HT null access somewhere...

Author: Girgias

Zend/tests/type_declarations/abstract_generics/abstract_generic_001.phpt

@@ -0,0 +1,31 @@
+--TEST--
+Abstract generic types basic
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(T $param): T;
+}
+
+class CS implements I<string> {
+    public function foo(string $param): string {
+        return $param . '!';
+    }
+}
+
+class CI implements I<int> {
+    public function foo(int $param): int {
+        return $param + 42;
+    }
+}
+
+$cs = new CS();
+var_dump($cs->foo("Hello"));
+
+$ci = new CI();
+var_dump($ci->foo(5));
+
+?>
+--EXPECT--
+string(6) "Hello!"
+int(47)

Zend/tests/type_declarations/abstract_generics/abstract_generic_type_with_constraint.phpt

@@ -0,0 +1,31 @@
+--TEST--
+Abstract generic type with a constraint
+--FILE--
+<?php
+
+interface I<T : int|string> {
+    public function foo(T $param): T;
+}
+
+class CS implements I<string> {
+    public function foo(string $param): string {
+        return $param . '!';
+    }
+}
+
+class CI implements I<int> {
+    public function foo(int $param): int {
+        return $param + 42;
+    }
+}
+
+$cs = new CS();
+var_dump($cs->foo("Hello"));
+
+$ci = new CI();
+var_dump($ci->foo(5));
+
+?>
+--EXPECT--
+string(6) "Hello!"
+int(47)

Zend/tests/type_declarations/abstract_generics/abstract_generic_type_with_constraint_failed.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Abstract generic type with a constraint that is not satisfied
+--FILE--
+<?php
+
+interface I<T : int|string> {
+    public function foo(T $param): T;
+}
+
+class C implements I<float> {
+    public function foo(float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Bound type float is not a subtype of the constraint type string|int of generic type T of interface I in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_intersection1.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type cannot be in intersection (simple intersection with class type)
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(T&Traversable $param): T&Traversable;
+}
+
+?>
+--EXPECTF--
+Fatal error: Associated type cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_intersection2.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type cannot be in intersection (DNF type)
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(stdClass|(T&Traversable) $param): stdClass|(T&Traversable);
+}
+
+?>
+--EXPECTF--
+Fatal error: Associated type cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union1.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type cannot be in union (simple union with built-in type)
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(T|int $param): T|int;
+}
+
+?>
+--EXPECTF--
+Fatal error: Associated type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union2.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type cannot be in union (simple union with class type)
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(T|stdClass $param): T|stdClass;
+}
+
+?>
+--EXPECTF--
+Fatal error: Associated type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union3.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type cannot be in union (DNF type)
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(T|(Traversable&Countable) $param): T|(Traversable&Countable);
+}
+
+?>
+--EXPECTF--
+Fatal error: Associated type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union4.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type cannot be in union (nullable type union with ?)
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(?T $param): ?T;
+}
+
+?>
+--EXPECTF--
+Fatal error: Associated type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_cannot_be_in_union5.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type cannot be in union (forced allowed null)
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(T $param = null): T;
+}
+
+?>
+--EXPECTF--
+Fatal error: Associated type cannot be part of a union type (implicitly nullable due to default null value) in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_in_class.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type in class is invalid
+--FILE--
+<?php
+
+class C<T> {
+    public function foo(T $param): T;
+}
+
+?>
+--EXPECTF--
+Parse error: syntax error, unexpected token "<", expecting "{" in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_in_trait.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type in trait is invalid
+--FILE--
+<?php
+
+trait C<T> {
+    public function foo(T $param): T;
+}
+
+?>
+--EXPECTF--
+Parse error: syntax error, unexpected token "<", expecting "{" in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/abstract_generic_redeclared.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Abstract generic type that is redeclared
+--FILE--
+<?php
+
+interface I<T, S, T> {
+    public function foo(T&Traversable $param): T&Traversable;
+}
+
+?>
+--EXPECTF--
+Fatal error: Duplicate generic parameter T in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/no_bound_abstract_generic_type.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Implementing class does not bind any abstract generic type
+--FILE--
+<?php
+
+interface I<T> {
+    public function foo(T $param): T;
+}
+
+class C implements I {
+    public function foo(float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Cannot implement I as it has generic parameters which are not specified in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/no_bound_abstract_generic_type_with_constraint.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Implementing class does not bind any abstract generic type
+--FILE--
+<?php
+
+interface I<T : int|string> {
+    public function foo(T $param): T;
+}
+
+class C implements I {
+    public function foo(float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Cannot implement I as it has generic parameters which are not specified in %s on line %d

Zend/tests/type_declarations/abstract_generics/errors/no_bound_abstract_generic_type_with_prior_bound_types.phpt

@@ -0,0 +1,20 @@
+--TEST--
+Implementing class does not bind any abstract generic type
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+interface I2<T> {
+    public function bar(T $param): T;
+}
+
+class C implements I1<float>, I2 {
+    public function foo(float $param): float {}
+    public function bar(string $param): string {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Cannot implement I2 as it has generic parameters which are not specified in %s on line %d

Zend/tests/type_declarations/abstract_generics/extended_interface_abstract_generic_types.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Abstract generic type behaviour in extended interface
+--FILE--
+<?php
+
+interface I<T : int|string|(Traversable&Countable)> {
+    public function foo(T $param): T;
+}
+
+interface I2<T> extends I<T> {
+    public function bar(int $o, T $param): T;
+}
+
+class C implements I2<string> {
+    public function foo(string $param): string {}
+    public function bar(int $o, float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Constraint type mixed of generic type T of interface I2 is not a subtype of the constraint type (Traversable&Countable)|string|int of generic type T of interface I in %s on line %d

Zend/tests/type_declarations/abstract_generics/extended_interface_new_abstract_generic_type.phpt

@@ -0,0 +1,22 @@
+--TEST--
+Abstract generic type behaviour in extended interface
+--FILE--
+<?php
+
+interface I<T : int|string|(Traversable&Countable)> {
+    public function foo(T $param): T;
+}
+
+interface I2<T : int|string|(Traversable&Countable), T2 : float|bool|stdClass> extends I<T> {
+    public function bar(T2 $o, T $param): T2;
+}
+
+class C implements I2<string, float> {
+    public function foo(string $param): string {}
+    public function bar(float $o, string $param): float {}
+}
+
+?>
+DONE
+--EXPECT--
+DONE

Zend/tests/type_declarations/abstract_generics/extended_interface_new_abstract_generic_type2.phpt

@@ -0,0 +1,22 @@
+--TEST--
+Abstract generic type behaviour in extended interface
+--FILE--
+<?php
+
+interface I<T : int|string|(Traversable&Countable)> {
+    public function foo(T $param): T;
+}
+
+interface I2<T : float|bool|stdClass, T2 : int|string|(Traversable&Countable)> extends I<T2> {
+    public function bar(T $o, T2 $param): T;
+}
+
+class C implements I2<float, string> {
+    public function foo(string $param): string {}
+    public function bar(float $o, string $param): float {}
+}
+
+?>
+DONE
+--EXPECT--
+DONE