Compile time generics W.I.P.

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/big_example.phpt

@@ -0,0 +1,100 @@
+--TEST--
+Concrete example of using AT
+--CREDITS--
+Levi Morrison
+--FILE--
+<?php declare(strict_types=1);
+
+namespace Sequence;
+
+// No null. This is probably going to be painful, but let's try it.
+interface Sequence<Item : object|array|string|float|int|bool>
+{
+    function next(): ?Item;
+
+    /**
+     * @param callable(Item, Item): Item $f
+     * @return ?Item
+     */
+    function reduce(callable $f): ?Item;
+}
+
+final class StringTablePair
+{
+    public function __construct(
+        public readonly string $string,
+        public readonly int $id,
+    ) {}
+}
+
+final class StringTableSequence implements Sequence<StringTablePair>
+{
+    private array $strings;
+
+    public function __construct(StringTable $string_table) {
+        $this->strings = $string_table->to_assoc_array();
+    }
+
+    function next(): ?StringTablePair
+    {
+        $key = \array_key_first($this->strings);
+        if (!isset($key)) {
+            return null;
+        }
+        $value = \array_shift($this->strings);
+        return new StringTablePair($key, $value);
+    }
+
+    /**
+     * @param callable(Item, Item): Item $f
+     * @return ?Item
+     */
+    function reduce(callable $f): ?StringTablePair
+    {
+        $reduction = $this->next();
+        if (!isset($reduction)) {
+            return null;
+        }
+
+        while (($next = $this->next()) !== null) {
+            $reduction = $f($reduction, $next);
+        }
+        return $reduction;
+    }
+}
+
+final class StringTable
+{
+    private array $strings = ["" => 0];
+
+    public function __construct() {}
+
+    public function offsetGet(string $offset): int
+    {
+        return $this->strings[$offset] ?? throw new \Exception();
+    }
+
+    public function offsetExists(string $offset): bool
+    {
+        return \isset($this->strings[$offset]);
+    }
+
+    public function intern(string $str): int
+    {
+        return $this->strings[$str]
+            ?? ($this->strings[$str] = \count($this->strings));
+    }
+
+    public function to_sequence(): StringTableSequence
+    {
+        return new StringTableSequence($this);
+    }
+
+    public function to_assoc_array(): array {
+        return $this->strings;
+    }
+}
+
+?>
+--EXPECTF--
+Fatal error: Generic type cannot be part of a union type in %s on line %d

Zend/tests/type_declarations/abstract_generics/bound_types/implicit_interface_different_bound_types.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Implicit interface inheritance with different bound types
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+
+interface I2<T> extends I1<T> {
+    public function bar(int $o, T $param): T;
+}
+
+class C implements I2<float>, I1<string> {
+    public function foo(float $param): float {}
+    public function bar(int $o, float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Bound type T for interface I1 implemented explicitly in C with type string must match the implicitly bound type float from interface I2 in %s on line %d

Zend/tests/type_declarations/abstract_generics/bound_types/implicit_interface_different_bound_types2.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Implicit interface inheritance with different bound types 2
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+
+interface I2<T> extends I1<T> {
+    public function bar(int $o, T $param): T;
+}
+
+class C implements I1<string>, I2<float> {
+    public function foo(string $param): string {}
+    public function bar(int $o, float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Bound type T for interface I1 implemented explicitly in C with type string must match the implicitly bound type float from interface I2 in %s on line %d

Zend/tests/type_declarations/abstract_generics/bound_types/implicit_interface_different_bound_types3.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Implicit interface inheritance with different bound types 3
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+
+interface I2 extends I1<float> {
+    public function bar(int $o, float $param): float;
+}
+
+class C implements I2, I1<string> {
+    public function foo(float $param): float {}
+    public function bar(int $o, float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Bound type T for interface I1 implemented explicitly in C with type string must match the implicitly bound type float from interface I2 in %s on line %d

Zend/tests/type_declarations/abstract_generics/bound_types/implicit_interface_different_bound_types4.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Implicit interface inheritance with different bound types 4
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+
+interface I2 extends I1<float> {
+    public function bar(int $o, float $param): float;
+}
+
+class C implements I1<string>, I2 {
+    public function foo(string $param): string {}
+    public function bar(int $o, float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Bound type T for interface I1 implemented explicitly in C with type string must match the implicitly bound type float from interface I2 in %s on line %d

Zend/tests/type_declarations/abstract_generics/bound_types/implicit_interface_no_bound_types.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Implicit interface inheritance missing bound types
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+
+interface I2<T> extends I1<T> {
+    public function bar(int $o, T $param): T;
+}
+
+class C implements I2<float>, I1 {
+    public function foo(float $param): float {}
+    public function bar(int $o, float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Interface I1 expects 1 generic parameters, 0 given in %s on line %d

Zend/tests/type_declarations/abstract_generics/bound_types/implicit_interface_no_bound_types2.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Implicit interface inheritance missing bound types 2
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+
+interface I2<T> extends I1<T> {
+    public function bar(int $o, T $param): T;
+}
+
+class C implements I1, I2<float> {
+    public function foo(float $param): float {}
+    public function bar(int $o, float $param): float {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Interface I1 expects 1 generic parameters, 0 given in %s on line %d

Zend/tests/type_declarations/abstract_generics/bound_types/implicit_interface_no_bound_types3.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Implicit interface inheritance missing bound types 3
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+
+interface I2 extends I1<string> {
+    public function bar(int $o, string $param): string;
+}
+
+class C implements I1, I2 {
+    public function foo(string $param): string {}
+    public function bar(int $o, string $param): string {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Interface I1 expects 1 generic parameters, 0 given in %s on line %d

Zend/tests/type_declarations/abstract_generics/bound_types/implicit_interface_no_bound_types4.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Implicit interface inheritance missing bound types 4
+--FILE--
+<?php
+
+interface I1<T> {
+    public function foo(T $param): T;
+}
+
+interface I2 extends I1<string> {
+    public function bar(int $o, string $param): string;
+}
+
+class C implements I2, I1 {
+    public function foo(string $param): string {}
+    public function bar(int $o, string $param): string {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Interface I1 expects 1 generic parameters, 0 given in %s on line %d