unset doesn't change array shape

[AndrolGenhald]

https://psalm.dev/r/ca6bce5b16

The second trace should only have array{b: 2}.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/ca6bce5b16

<?php

$test = ['a' => 1, 'b' => 2];
/** @psalm-trace $test */;
unset($test['a']);
/** @psalm-trace $test */;

Psalm output (using commit 9e1f7ad):

INFO: Trace - 4:26 - $test: array{a: 1, b: 2}

INFO: Trace - 6:26 - $test: array{a: 1, b: 2}

[weirdan]

Affects trace only: https://psalm.dev/r/c95337fb10

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/c95337fb10

<?php

$test = ['a' => 1, 'b' => 2];

echo atan($test['a']);

unset($test['a']);

echo atan($test['a']);

/** @psalm-trace $test */;

Psalm output (using commit 9e1f7ad):

ERROR: InvalidArrayOffset - 9:11 - Cannot access value on variable $test using offset value of 'a', expecting 'b'

INFO: MixedArgument - 9:11 - Argument 1 of atan cannot be mixed, expecting float

INFO: Trace - 11:26 - $test: array{a: 1, b: 2}