Bug in detect return type for get_object_vars.

[mj4444ru]

$x = new stdClass();
$x->{1} = 1;

var_dump(get_object_vars($x));

Return

array(1) {
  [1]=>
  int(1)
}

https://psalm.dev/r/ae7bc9df71

I'm waiting array<array-key, mixed>.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/ae7bc9df71

<?php

$x = new stdClass();
$x->{1} = 1;

$t = get_object_vars($x);
/** @psalm-trace $t */

Psalm output (using commit a17fdd7):

INFO: Trace - 7:23 - $t: array<string, mixed>

[orklah]

Yeah, this is technically correct but if feels more like an oversight on php implementation than a real feature imho. The ratio between the bugs that would be hidden by loosening this type vs the number of false positive solved feels bad...