1--TEST--
2Type inference of frameless functions
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.optimization_level=-1
7opcache.opt_debug_level=0x20000
8zend_test.observer.enabled=0
9--EXTENSIONS--
10opcache
11--FILE--
12<?php
13function _strpos(string $str): int|false {
14    return \strpos($str, 'o', 1);
15}
16?>
17--EXPECTF--
18$_main:
19     ; (lines=1, args=0, vars=0, tmps=0)
20     ; (after optimizer)
21     ; %sinference_frameless.php:1-6
220000 RETURN int(1)
23
24_strpos:
25     ; (lines=4, args=1, vars=1, tmps=1)
26     ; (after optimizer)
27     ; %sinference_frameless.php:2-4
280000 CV0($str) = RECV 1
290001 T1 = FRAMELESS_ICALL_3(strpos) CV0($str) string("o")
300002 OP_DATA int(1)
310003 RETURN T1
32