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