xref: /PHP-7.3/Zend/tests/return_types/rfc003.phpt (revision b746e698)
1--TEST--
2RFC example: cannot return null with a return type declaration
3--FILE--
4<?php
5function foo(): DateTime {
6    return null;
7}
8
9foo();
10--EXPECTF--
11Fatal error: Uncaught TypeError: Return value of foo() must be an instance of DateTime, null returned in %s:%d
12Stack trace:
13#0 %s(%d): foo()
14#1 {main}
15  thrown in %s on line %d
16