Support shouldNotReceive

stubs/MockInterface.stub

@@ -11,6 +11,12 @@ interface MockInterface
 	 */
 	public function shouldReceive(...$methodNames);
 
+	/**
+	 * @param string|array<string, mixed> ...$methodNames
+	 * @return Expectation
+	 */
+	public function shouldNotReceive(...$methodNames);
+
 	/**
 	 * @return static
 	 */
@@ -27,6 +33,12 @@ interface LegacyMockInterface
 	 */
 	public function shouldReceive(...$methodNames);
 
+	/**
+	 * @param string|array<string, mixed> ...$methodNames
+	 * @return Expectation
+	 */
+	public function shouldNotReceive(...$methodNames);
+
 	/**
 	 * @return static
 	 */

tests/Mockery/MockeryBarTest.php

@@ -2,14 +2,18 @@
 
 namespace PHPStan\Mockery;
 
-class MockeryBarTest extends \PHPUnit\Framework\TestCase
+use Mockery\Adapter\Phpunit\MockeryTestCase;
+
+class MockeryBarTest extends MockeryTestCase
 {
 
 	/** @var \Mockery\MockInterface|Foo */
 	private $fooMock;
 
 	protected function setUp(): void
 	{
+		parent::setUp();
+
 		$this->fooMock = \Mockery::mock(Foo::class);
 	}
 
@@ -34,4 +38,17 @@ public function testExpectationMethodsAreCalled(): void
 		self::assertSame('foo', $bar->doFoo());
 	}
 
+	public function testShouldNotReceiveAndHaveReceived(): void
+	{
+		$this->fooMock->shouldNotReceive('doFoo')->andReturn('bar');
+		$this->fooMock->shouldNotHaveReceived('doFoo');
+	}
+
+	public function testShouldReceiveAndHaveReceived(): void
+	{
+		$this->fooMock->shouldReceive('doFoo')->andReturn('bar');
+		self::assertSame('bar', $this->fooMock->doFoo());
+		$this->fooMock->shouldHaveReceived('doFoo');
+	}
+
 }