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