xref: /PHP-7.4/Zend/tests/bug72347.phpt (revision 3b8cb211) 
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