1--TEST--
2list() with non-integer-or-string keys
3--FILE--
4<?php
5
6$results = [
7    0 => 0,
8    1 => 1,
9    "" => ""
10];
11
12list(NULL => $NULL, 1.5 => $float, FALSE => $FALSE, TRUE => $TRUE) = $results;
13var_dump($NULL, $float, $FALSE, $TRUE);
14
15echo PHP_EOL;
16
17list("0" => $zeroString, "1" => $oneString) = $results;
18var_dump($zeroString, $oneString);
19
20list(STDIN => $resource) = [];
21
22?>
23--EXPECTF--
24Deprecated: Implicit conversion from float 1.5 to int loses precision in %s on line %d
25string(0) ""
26int(1)
27int(0)
28int(1)
29
30int(0)
31int(1)
32
33Warning: Resource ID#%d used as offset, casting to integer (%d) in %s on line %d
34
35Warning: Undefined array key 1 in %s on line %d
36