Assertion issue with arrays

[loevgaard]

Here's the code:

https://psalm.dev/r/bc9418bc3e

I would not expect any errors.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/bc9418bc3e

<?php

class Obj
{
   public function __toString(): string
   {
       return 'obj';
   }
}

function f1(array $context): void
{
    f2($context);
    
    echo (string) $context['obj'];
}

/**
 * @psalm-assert Obj $context['obj']
 */
function f2(array $context): void
{
    if(!isset($context['obj'])) {
        throw new \InvalidArgumentException('Object is not set');
    }
}

Psalm output (using commit d8cbc21):

INFO: PossiblyUndefinedStringArrayOffset - 15:19 - Possibly undefined array offset ''obj'' is risky given expected type 'array-key'. Consider using isset beforehand.

[danog]

There is nothing wrong here, use array shapes to specify an exact shape for parameters.

[danog]

https://psalm.dev/docs/annotating_code/type_syntax/array_types/#object-like-arrays

[loevgaard]

But I don't want that. I want to assert it. And why isn't there something wrong with my snippet? It doesn't do what I believe everyone would expect

[danog]

Nvm, misread

[loevgaard]

Ah, okay :) Thank you