1--TEST--
2Incorrect liveness computation for verify-return
3--SKIPIF--
4<?php require_once('skipif.inc'); ?>
5--FILE--
6<?php
7function test($foo): string
8{
9    switch ($foo) {
10        default:  $bar = 'x'; break;
11        case 'z': $bar = 'y'; break;
12    }
13    return (string)$bar;
14}
15?>
16===DONE===
17--EXPECT--
18===DONE===
19