1--TEST--
2IntlTimeZone::getEquivalentID(): errors
3--EXTENSIONS--
4intl
5--FILE--
6<?php
7ini_set("intl.error_level", E_WARNING);
8
9var_dump(IntlTimeZone::getEquivalentID("foo\x80", 0));
10?>
11--EXPECTF--
12Warning: IntlTimeZone::getEquivalentID(): intltz_get_equivalent_id: could not convert time zone id to UTF-16 in %s on line %d
13bool(false)
14