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