Return types

Zend/tests/return_types/001.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Returned nothing, expected array
+
+--FILE--
+<?php
+function test1() : array {
+}
+
+test1();
+
+--EXPECTF--
+Catchable fatal error: The function test1 was expected to return an array and returned nothing in %s on line %d

Zend/tests/return_types/002.phpt

@@ -0,0 +1,13 @@
+--TEST--
+Returned null, expected array
+
+--FILE--
+<?php
+function test1() : array {
+    return null;
+}
+
+test1();
+
+--EXPECTF--
+Catchable fatal error: The function test1 was expected to return an array and returned null in %s on line %d

Zend/tests/return_types/003.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Returned 1, expected array
+
+--FILE--
+<?php
+function test1() : array {
+    return 1;
+}
+test1();
+
+--EXPECTF--
+Catchable fatal error: The function test1 was expected to return an array and returned an integer in %s on line %d

Zend/tests/return_types/004.phpt

@@ -0,0 +1,13 @@
+--TEST--
+Returned string, expected array
+
+--FILE--
+<?php
+function test1() : array {
+    return "hello";
+}
+
+test1();
+
+--EXPECTF--
+Catchable fatal error: The function test1 was expected to return an array and returned a string in %s on line %d

Zend/tests/return_types/005.phpt

@@ -0,0 +1,18 @@
+--TEST--
+Return value fails inheritance check in method
+
+--FILE--
+<?php
+class foo {}
+
+class qux {
+    public function foo() : foo {
+        return $this;
+    }
+}
+
+$qux = new qux();
+$qux->foo();
+
+--EXPECTF--
+Catchable fatal error: The function qux::foo was expected to return an object of class foo and returned an object of class qux in %s on line %d

Zend/tests/return_types/006.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Return type allowed in child when parent does not have return type
+
+--FILE--
+<?php
+class Comment {}
+
+class CommentsIterator extends ArrayIterator implements Iterator {
+    function current() : Comment {
+        return parent::current();
+    }
+}
+
+$comments = new CommentsIterator([new Comment]);
+foreach ($comments as $comment) {
+    var_dump($comment);
+}
+
+--EXPECTF--
+object(Comment)#%d (%d) {
+}

Zend/tests/return_types/007.phpt

@@ -0,0 +1,19 @@
+--TEST--
+Return value is subclass of return type
+
+--FILE--
+<?php
+class foo {}
+
+class qux extends foo {
+    public function foo() : foo {
+        return $this;
+    }
+}
+
+$qux = new qux();
+var_dump($qux->foo());
+
+--EXPECTF--
+object(qux)#%d (%d) {
+}

Zend/tests/return_types/008.phpt

@@ -0,0 +1,22 @@
+--TEST--
+Return type covariance in interface implementation
+
+--FILE--
+<?php
+interface foo {
+    public function bar() : foo;
+}
+
+
+class qux implements foo {
+    public function bar() : qux {
+        return $this;
+    }
+}
+
+$qux = new qux();
+var_dump($qux->bar());
+
+--EXPECTF--
+object(qux)#%d (%d) {
+}

Zend/tests/return_types/009.phpt

@@ -0,0 +1,19 @@
+--TEST--
+Return type covariance error
+
+--FILE--
+<?php
+interface foo {
+    public function bar() : foo;
+}
+
+interface biz {}
+
+class qux implements foo {
+    public function bar() : biz {
+        return $this;
+    }
+}
+
+--EXPECTF--
+Fatal error: Declaration of qux::bar() must be compatible with foo::bar(): foo in %s on line %d

Zend/tests/return_types/010.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Returned null, expected array reference
+
+--FILE--
+<?php
+function &foo(array &$in) : array {
+    return null;
+}
+
+$array = [1, 2, 3];
+var_dump(foo($array));
+
+--EXPECTF--
+Catchable fatal error: The function foo was expected to return an array and returned null in %s on line %d

Zend/tests/return_types/011.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Function returned callable, expected callable
+
+--FILE--
+<?php
+function foo() : callable {
+    return function() {};
+}
+
+var_dump(foo());
+
+--EXPECTF--
+object(Closure)#%d (%d) {
+}

Zend/tests/return_types/012.phpt

@@ -0,0 +1,28 @@
+--TEST--
+Method returned callable, expected callable
+
+--FILE--
+<?php
+class foo {
+    public function bar() : callable {
+        $test = "one";
+        return function() use($test) : array {
+            return array($test);
+        };
+    }
+}
+
+$baz = new foo();
+var_dump($baz->bar());
+
+--EXPECT--
+object(Closure)#2 (2) {
+  ["static"]=>
+  array(1) {
+    ["test"]=>
+    string(3) "one"
+  }
+  ["this"]=>
+  object(foo)#1 (0) {
+  }
+}

Zend/tests/return_types/013.phpt

@@ -0,0 +1,19 @@
+--TEST--
+Closure inside method returned null, expected array
+
+--FILE--
+<?php
+class foo {
+    public function bar() : callable {
+        $test = "one";
+        return function() use($test) : array {
+            return null;
+        };
+    }
+}
+
+$baz = new foo();
+var_dump($func=$baz->bar(), $func());
+
+--EXPECTF--
+Catchable fatal error: The function %s was expected to return an array and returned null in %s on line %d

Zend/tests/return_types/014.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Constructors cannot declare a return type
+
+--FILE--
+<?php
+
+class Foo {
+	function __construct() : Foo {}
+}
+
+--EXPECTF--
+Fatal error: Constructor %s::%s() cannot declare a return type in %s on line %s

Zend/tests/return_types/015.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Return types allowed in namespace
+
+--FILE--
+<?php
+
+namespace Collections;
+
+interface Collection {
+    function values(): Collection;
+}
+
+class Vector implements Collection {
+    function values(): Collection {
+        return $this;
+    }
+}
+
+$v = new Vector;
+var_dump($v->values());
+
+--EXPECTF--
+object(Collections\Vector)#%d (%d) {
+}

Zend/tests/return_types/016.phpt

@@ -0,0 +1,20 @@
+--TEST--
+Fully qualified classes are allowed in return types
+
+--FILE--
+<?php
+
+namespace Collections;
+
+class Foo {
+    function foo(\Iterator $i): \Iterator {
+        return $i;
+    }
+}
+
+$foo = new Foo;
+var_dump($foo->foo(new \EmptyIterator()));
+
+--EXPECTF--
+object(EmptyIterator)#%d (0) {
+}

Zend/tests/return_types/017.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Fully qualified classes in trait return types
+
+--FILE--
+<?php
+
+namespace FooSpace;
+
+trait Fooable {
+    function foo(): \Iterator {
+        return new \EmptyIterator();
+    }
+}
+
+class Foo {
+    use Fooable;
+}
+
+$foo = new Foo;
+var_dump($foo->foo([]));
+
+--EXPECTF--
+object(EmptyIterator)#%d (%d) {
+}

Zend/tests/return_types/018.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Destructors cannot declare a return type
+
+--FILE--
+<?php
+
+class Foo {
+	function __destruct() : Foo {}
+}
+
+--EXPECTF--
+Fatal error: Destructor %s::%s() cannot declare a return type in %s on line %s

Zend/tests/return_types/019.phpt

@@ -0,0 +1,12 @@
+--TEST--
+__clone cannot declare a return type
+
+--FILE--
+<?php
+
+class Foo {
+	function __clone() : Foo {}
+}
+
+--EXPECTF--
+Fatal error: %s::%s() cannot declare a return type in %s on line %s

Zend/tests/return_types/020.phpt

@@ -0,0 +1,17 @@
+--TEST--
+Exception thrown from function with return type
+
+--FILE--
+<?php
+function test() : array {
+    throw new Exception();
+}
+
+test();
+
+--EXPECTF--
+Fatal error: Uncaught exception 'Exception' in %s:%d
+Stack trace:
+#0 %s(%d): test()
+#1 {main}
+  thrown in %s on line %d

Zend/tests/return_types/022.phpt

@@ -0,0 +1,17 @@
+--TEST--
+Hint on closure with lexical vars
+
+--FILE--
+<?php
+$foo = "bar";
+$test = function() use($foo) : Closure {
+    return function() use ($foo) {
+        return $foo;
+    };
+};
+
+$callable = $test();
+var_dump($callable());
+
+--EXPECTF--
+string(3) "bar"