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