1--TEST--
2Bug #72441 (Segmentation fault: RFC list_keys)
3--FILE--
4<?php
5
6$array = [];
7
8list(
9 '' => $foo,
10 $bar
11) = $array;
12?>
13--EXPECTF--
14Fatal error: Cannot mix keyed and unkeyed array entries in assignments in %sbug72441.php on line %d
15
