superlint/test/linters/php_builtin/php_bad_2.php

<?php

/**
 * @return array<string>
 */
function takesAnInt(int $i) {
    return [$i, "hello"];
}

$data = ["some text", 5];
takesAnInt($data[0]);

$condition = rand(0, 5);
iff ($condition) {
} elseif ($condition) {}