Need help with generic bound types (if that's the correct term)

[nilmerg]

Hey there,

I played around with the offset access example and wanted to use objects as values instead of native types.

The result is: https://phpstan.org/r/bae10bc5-2d88-4e97-b656-32d8be02bca8

There are two questions though:

1. The error on line no. 68. What am I doing wrong? The dumped type seems to match what is compatible.
2. On line no. 113, the error makes absolutely sense. But what I attempted was to declare in getAttributeValue()'s docblock that the returned type depends on the passed key as well. This doesn't seem to be possible right now (and possibly never will, which I'd also understand), correct?