Help PHPStan make sense of this

Author: sebastianbergmann

tests/Framework/MockObject/MockObjectTest.php

@@ -986,13 +986,15 @@ public function testGetMockForClassWithSelfTypeHint(): void
 
     public function testStringableClassDoesNotThrow(): void
     {
+        /** @var StringableClass|PHPUnit\Framework\MockObject\MockObject $mock */
         $mock = $this->getMockBuilder(StringableClass::class)->getMock();
 
         $this->assertInternalType('string', (string) $mock);
     }
 
     public function testStringableClassCanBeMocked(): void
     {
+        /** @var StringableClass|PHPUnit\Framework\MockObject\MockObject $mock */
         $mock = $this->getMockBuilder(StringableClass::class)->getMock();
 
         $mock->method('__toString')->willReturn('foo');
@@ -1058,6 +1060,7 @@ public function testDisableAutomaticReturnValueGeneration(): void
 
     public function testDisableAutomaticReturnValueGenerationWithToString(): void
     {
+        /** @var StringableClass|PHPUnit\Framework\MockObject\MockObject $mock */
         $mock = $this->getMockBuilder(StringableClass::class)
             ->disableAutoReturnValueGeneration()
             ->getMock();