--TEST--
Incorrect liveness computation for verify-return
--SKIPIF--
<?php require_once('skipif.inc'); ?>
--FILE--
<?php
function test($foo): string
{
    switch ($foo) {
        default:  $bar = 'x'; break;
        case 'z': $bar = 'y'; break;
    }
    return (string)$bar;
}
?>
===DONE===
--EXPECT--
===DONE===