1--TEST--
2strict_types=1 code calling explicitly strict_types=0 code
3--FILE--
4<?php
5
6declare(strict_types=1);
7
8// file that's explicitly weak
9require 'strict_call_weak_explicit_2.inc';
10
11// Will succeed: Function was declared in weak mode, but that does not matter
12// This file uses strict mode, so the call is strict, and float denied for int
13function_declared_in_weak_mode(1.0);
14?>
15--EXPECTF--
16Fatal error: Uncaught TypeError: function_declared_in_weak_mode(): Argument #1 ($x) must be of type int, float given, called in %s:%d
17Stack trace:
18#0 %s(%d): function_declared_in_weak_mode(1.0)
19#1 {main}
20  thrown in %sstrict_call_weak_explicit_2.inc on line 5
21