1--TEST--
2Incorrect liveness computation for verify-return
3--EXTENSIONS--
4opcache
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
