1--TEST--
2never return type: acceptable cases
3--FILE--
4<?php
5
6function foo(): never {
7    throw new Exception('bad');
8}
9
10try {
11    foo();
12} catch (Exception $e) {
13    // do nothing
14}
15
16function calls_foo(): never {
17    foo();
18}
19
20try {
21    calls_foo();
22} catch (Exception $e) {
23    // do nothing
24}
25
26echo "OK!", PHP_EOL;
27?>
28--EXPECT--
29OK!
30