psalm/docs/running_psalm/issues/PossiblyNullArrayOffset.md

PossiblyNullArrayOffset

Emitted when trying to access a value on an array using a possibly null offset

<?php

function foo(?int $a) : void {
    echo [1, 2, 3, 4][$a];
}