===description===
explicitVariableKey
===file===
<?php
                    /** @param list<int> $a */
                    function takesList($a): void {}

                    /** @return array-key */
                    function getKey() {
                        return 0;
                    }

                    $a = [getKey() => 1];
                    takesList($a);
===expect===
ArgumentTypeCoercion
===ignore===
TODO
