1--TEST--
2Using unset(), isset(), empty() with an illegal array offset throws
3--FILE--
4<?php
5
6$ary = [];
7try {
8    unset($ary[[]]);
9} catch (Error $e) {
10    echo $e->getMessage(), "\n";
11}
12try {
13    isset($ary[[]]);
14} catch (Error $e) {
15    echo $e->getMessage(), "\n";
16}
17try {
18    empty($ary[[]]);
19} catch (Error $e) {
20    echo $e->getMessage(), "\n";
21}
22
23?>
24--EXPECT--
25Illegal offset type in unset
26Illegal offset type in isset or empty
27Illegal offset type in isset or empty
28