1--TEST--
2void return type: unacceptable cases: explicit null return in a method
3--FILE--
4<?php
5
6class Foo {
7 public function bar(): void {
8 return -1; // not permitted in a void function
9 }
10}
11
12?>
13--EXPECTF--
14Fatal error: A void method must not return a value in %s on line %d
15
