1--TEST--
2IntlTimeZone::useDaylightTime(): errors
3--SKIPIF--
4<?php
5if (!extension_loaded('intl'))
6    die('skip intl extension not enabled');
7--FILE--
8<?php
9ini_set("intl.error_level", E_WARNING);
10
11intltz_use_daylight_time(null);
12?>
13--EXPECTF--
14Fatal error: Uncaught TypeError: intltz_use_daylight_time(): Argument #1 ($timezone) must be of type IntlTimeZone, null given in %s:%d
15Stack trace:
16#0 %s(%d): intltz_use_daylight_time(NULL)
17#1 {main}
18  thrown in %s on line %d
19