Object instance's string constants cannot be used as array keys with other hard-coded strings

[davidbyoung]

As in my example, using the class constant works, but using the constant directly from an instance does not work.

https://psalm.dev/r/496e0e40cc

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/496e0e40cc

<?php

class Foo
{
    public const BAR = 'bar';
}

$foo = new Foo();
$workingArray = ['foo' => 'bar', Foo::BAR => 'baz'];
$brokenArray = ['foo' => 'bar', $foo::BAR => 'baz'];

Psalm output (using commit b618313):

INFO: MixedArrayOffset - 10:16 - Cannot create mixed offset – expecting array-key

[orklah]

Simplified: https://psalm.dev/r/d3471853a2

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d3471853a2

<?php

class Foo
{
    public const BAR = 'bar';
}

$foo = new Foo();
/** @psalm-trace $_trace */
$_trace = $foo::BAR;

Psalm output (using commit b618313):

INFO: Trace - 10:1 - $_trace: mixed