1--TEST--
2IntlCalendar::getSkipped/RepeatedWallTimeOption(): bad arguments
3--INI--
4date.timezone=Atlantic/Azores
5--EXTENSIONS--
6intl
7--FILE--
8<?php
9ini_set("intl.error_level", E_WARNING);
10
11var_dump(intlcal_get_skipped_wall_time_option(1));
12?>
13--EXPECTF--
14Fatal error: Uncaught TypeError: intlcal_get_skipped_wall_time_option(): Argument #1 ($calendar) must be of type IntlCalendar, int given in %s:%d
15Stack trace:
16#0 %s(%d): intlcal_get_skipped_wall_time_option(1)
17#1 {main}
18  thrown in %s on line %d
19