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