Start implementing intersection types

Author: Girgias

Zend/tests/type_declarations/intersection_types/added_interface_intersection_type.phpt

@@ -0,0 +1,53 @@
+--TEST--
+Added element of intersection type
+--FILE--
+<?php
+
+interface X {}
+interface Y {}
+interface Z {}
+
+class A implements X, Y, Z {}
+
+class Collection {
+    public X&Y $intersect;
+}
+
+function foo(): X&Y {
+    return new A();
+}
+
+function bar(X&Y $o): void {
+    var_dump($o);
+}
+
+try {
+    $o = foo();
+    var_dump($o);
+} catch (\TypeError $e) {
+    echo $e->getMessage(), "\n";
+}
+
+$c = new Collection();
+$a = new A();
+
+try {
+    $c->intersect = $a;
+    echo 'OK', \PHP_EOL;
+} catch (\TypeError $e) {
+    echo $e->getMessage(), "\n";
+}
+
+try {
+    bar($a);
+} catch (\TypeError $e) {
+    echo $e->getMessage(), "\n";
+}
+
+?>
+--EXPECT--
+object(A)#1 (0) {
+}
+OK
+object(A)#3 (0) {
+}

Zend/tests/type_declarations/intersection_types/assigning_intersection_types.phpt

@@ -0,0 +1,57 @@
+--TEST--
+Assigning values to intersection types
+--FILE--
+<?php
+
+interface X {}
+interface Y {}
+interface Z {}
+
+class TestParent implements X, Y {}
+class TestChild  extends TestParent implements Z {}
+
+class A {
+
+    public X&Y&Z $prop;
+
+    public function method1(X&Y $a): X&Y&Z {
+        return new TestChild();
+    }
+    public function method2(X $a): X&Y {
+        return new TestParent();
+    }
+}
+
+$tp = new TestParent();
+$tc = new TestChild();
+
+$o = new A();
+try {
+    $o->prop = $tp;
+} catch (TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+
+$o->prop = $tc;
+
+$r = $o->method1($tp);
+var_dump($r);
+$r = $o->method2($tp);
+var_dump($r);
+$r = $o->method1($tc);
+var_dump($r);
+$r = $o->method2($tc);
+var_dump($r);
+
+
+?>
+--EXPECTF--
+Cannot assign TestParent to property A::$prop of type X&Y&Z
+object(TestChild)#%d (0) {
+}
+object(TestParent)#%d (0) {
+}
+object(TestChild)#%d (0) {
+}
+object(TestParent)#%d (0) {
+}

Zend/tests/type_declarations/intersection_types/invalid_array_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+array type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): array&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type array cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_bool_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+bool type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): bool&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type bool cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_callable_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+callable type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): callable&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type callable cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_false_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+false type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): false&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type false cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_float_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+float type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): float&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type float cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_int_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+int type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): int&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type int cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_iterable_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+iterable type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): iterable&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type iterable cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_mixed_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+mixed type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): mixed&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type mixed cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_null_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+null type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): null&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type null cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_parent_type.phpt

@@ -0,0 +1,14 @@
+--TEST--
+parent type cannot take part in an intersection type
+--FILE--
+<?php
+
+class A {}
+
+class B extends A {
+    public function foo(): parent&Iterator {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Type parent cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_self_type.phpt

@@ -0,0 +1,12 @@
+--TEST--
+self type cannot take part in an intersection type
+--FILE--
+<?php
+
+class A {
+    public function foo(): self&Iterator {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Type self cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_static_type.phpt

@@ -0,0 +1,12 @@
+--TEST--
+static type cannot take part in an intersection type
+--FILE--
+<?php
+
+class A {
+    public function foo(): static&Iterator {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Type static cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_string_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+string type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): string&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type string cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/invalid_void_type.phpt

@@ -0,0 +1,10 @@
+--TEST--
+void type cannot take part in an intersection type
+--FILE--
+<?php
+
+function foo(): void&Iterator {}
+
+?>
+--EXPECTF--
+Fatal error: Type void cannot be part of an intersection type in %s on line %d

Zend/tests/type_declarations/intersection_types/missing_interface_intersection_type.phpt

@@ -0,0 +1,50 @@
+--TEST--
+Missing one element of intersection type
+--FILE--
+<?php
+
+interface X {}
+interface Y {}
+interface Z {}
+
+class A implements X {}
+
+class Collection {
+    public X&Y $intersect;
+}
+
+function foo(): X&Y {
+    return new A();
+}
+
+function bar(X&Y $o): void {
+    var_dump($o);
+}
+
+try {
+    $o = foo();
+    var_dump($o);
+} catch (\TypeError $e) {
+    echo $e->getMessage(), "\n";
+}
+
+$c = new Collection();
+$a = new A();
+
+try {
+    $c->intersect = $a;
+} catch (\TypeError $e) {
+    echo $e->getMessage(), "\n";
+}
+
+try {
+    bar($a);
+} catch (\TypeError $e) {
+    echo $e->getMessage(), "\n";
+}
+
+?>
+--EXPECTF--
+foo(): Return value must be of type X&Y, A returned
+Cannot assign A to property Collection::$intersect of type X&Y
+bar(): Argument #1 ($o) must be of type X&Y, A given, called in %s on line %d

Zend/tests/type_declarations/intersection_types/parameter.phpt

@@ -0,0 +1,28 @@
+--TEST--
+Intersection types in parameters
+--FILE--
+<?php
+
+interface A {}
+interface B {}
+
+class Foo implements A, B {}
+class Bar implements A {}
+
+function foo(A&B $bar) {
+    var_dump($bar);
+}
+
+foo(new Foo());
+
+try {
+    foo(new Bar());
+} catch (\TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+
+?>
+--EXPECTF--
+object(Foo)#1 (0) {
+}
+foo(): Argument #1 ($bar) must be of type A&B, Bar given, called in %s on line %d

Zend/tests/type_declarations/intersection_types/variance/invalid1.phpt

@@ -0,0 +1,27 @@
+--TEST--
+Co-variance check failure for intersection type where child replace one of intersection type members with a supertype
+--FILE--
+<?php
+
+interface A {}
+interface B extends A {}
+interface C {}
+
+class Test implements B, C {}
+
+class Foo {
+    public function foo(): B&C {
+        return new Test();
+    }
+}
+
+/* This fails because A is a parent type for B */
+class FooChild extends Foo {
+    public function foo(): A&C {
+        return new Test();
+    }
+}
+
+?>
+--EXPECTF--
+Fatal error: Declaration of FooChild::foo(): A&C must be compatible with Foo::foo(): B&C in %s on line %d