Ok, here is the full file to reproduce the error:
<?php
class Myclass {
public static function test(string $key) {
static $definitions;
if (isset($definitions[$key])) {
return $definitions[$key];
}
}
}

The $definitions
in return $definitions
should not be highlighted here, right?