1--TEST--
2VERIFY_RETURN with undef var
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.file_update_protection=0
7--FILE--
8<?php
9
10function test(): int {
11    return $undef;
12}
13
14try {
15    test();
16} catch (TypeError $e) {
17    echo $e->getMessage(), "\n";
18}
19
20?>
21--EXPECTF--
22Warning: Undefined variable $undef in %s on line %d
23test(): Return value must be of type int, null returned
24