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: takes_int(): Argument #1 ($x) must be of type int, float given, called in %s:%d 15Stack trace: 16#0 %s(%d): takes_int(1.0) 17#1 %s(%d): require('%s') 18#2 {main} 19 thrown in %sweak_include_strict_2.inc on line 5 20