1--TEST-- 2Bug #72347 (VERIFY_RETURN type casts visible in finally) 3--FILE-- 4<?php 5function test() : int { 6 $d = 1.5; 7 try { 8 return $d; 9 } finally { 10 var_dump($d); 11 } 12} 13var_dump(test()); 14?> 15--EXPECT-- 16float(1.5) 17int(1) 18
