1--TEST--
2void return type: unacceptable cases: explicit NULL return
3--FILE--
4<?php
5
6function foo(): void {
7    return NULL; // not permitted in a void function
8}
9
10// Note the lack of function call: function validated at compile-time
11--EXPECTF--
12Fatal error: A void function must not return a value (did you mean "return;" instead of "return null;"?) in %s on line %d
13