Had an idea today after lunch and basically one-shotted a solution for the currently most-upvoted PHPStan feature request: