Regression: ObjectProphecy no longer correctly handled #154

<?php

declare(strict_types=1);

namespace Tests\Functional\Client;

use PHPUnit\Framework\TestCase;
use Prophecy\PhpUnit\ProphecyTrait;
use Prophecy\Prophecy\ObjectProphecy;
use Psr\Http\Message\ResponseInterface;

class ClientTest extends TestCase
{
    use ProphecyTrait;
    
    public function test(): void
    {
        $response = $this->prophesize(ResponseInterface::class);
        /** @psalm-check-type $response = ObjectProphecy<ResponseInterface> */
        $response->getStatusCode()->shouldBeCalled()->willReturn(202);

        $response = $response->reveal();
        $this->assertSame(202, $response->reveal()->getStatusCode());
    }
}