Generic (conditional) type behaviour with anonymous function

[uuf6429]

I'd like to discuss two separate problems (on PHP 8.3) here:
https://phpstan.org/r/eca41a5f-7c95-4745-8d6f-e41f3e30d6da

1. The first problem is because of the Container getter. The following definition fixes the error (at the cost of hiding a container feature of returning non-objects for non-class ids):

       /**
        * @template RequestedType
        *
        * @param class-string<RequestedType> $id
        *
        * @return RequestedType
        */

   Maybe I'm missing something or expecting too much, but isn't @return ($id is class-string ? RequestedType : mixed) supposed to narrow down the type to a class of $id when $id happens to be a class name? I get that this is a tricky problem anyway, is there any solution? (I'm not convinced of having a container returning non-objects - at this point I'm mostly curious about phpstan)
2. Given that Point 1 is solved, the first addCommands (with the arrow function) works without errors, however the second call (with first-class callable syntax) doesn't. I'm guessing that could be some kind of limitation?

[ondrejmirtes]

You need this instead: https://phpstan.org/r/59b020d9-976e-43ac-8a20-c5c0b3284336

It's one of the examples in the docs: https://phpstan.org/blog/generics-by-examples#function-accepts-any-string%2C-but-returns-object-of-the-same-type-if-it%E2%80%99s-a-class-string

The fact that first-class callable doesn't work is a bug, please open a bug report, thanks.