1--TEST--
2explicitly strict_types=0 code including strict_types=1 code
3--FILE--
4<?php
5
6declare(strict_types=0);
7
8// file with strict_types=1
9require 'weak_include_strict_2.inc';
10
11// calls within that file should stay strict, despite being included by weak file
12?>
13--EXPECTF--
14Fatal error: Uncaught TypeError: Argument 1 passed to takes_int() must be of the type int, float given, called in %sweak_include_strict_2.inc on line 9 and defined in %sweak_include_strict_2.inc:5
15Stack trace:
16#0 %s(%d): takes_int(1)
17#1 %s(%d): require('%s')
18#2 {main}
19  thrown in %sweak_include_strict_2.inc on line 5
20