php-8.0.30-src/Zend/tests/bug72347.phpt

--TEST--
Bug #72347 (VERIFY_RETURN type casts visible in finally)
--FILE--
<?php
function test() : int {
    $d = 1.5;
    try {
        return $d;
    } finally {
        var_dump($d);
    }
}
var_dump(test());
?>
--EXPECT--
float(1.5)
int(1)