compiler/phpunit/code/array-def-static-key-mismatch.php

<?php
class ArrayDefStaticKeyMismatch
{
    #[ArrayDef(Type::Int, Type::String)]
    public array $value = [];
}
function arrayDefStaticKeyMismatch(ArrayDefStaticKeyMismatch $box): void
{
    $box->value['bad'] = 'value';
}