Document the behaviour discovered in #6504

Author: sebastianbergmann

tests/unit/Framework/MockObject/MockObjectTest.php

@@ -560,6 +560,26 @@ public function testOriginalCloneMethodCanOptionallyBeCalledWhenTestDoubleObject
         clone $double;
     }
 
+    #[DoesNotPerformAssertions]
+    #[TestDox('with() can be used without expects() and is not verified when the method is not called')]
+    public function testWithCanBeUsedWithoutExpectsAndIsNotVerifiedWhenTheMethodIsNotCalled(): void
+    {
+        $double = $this->createTestDouble(InterfaceWithReturnTypeDeclaration::class);
+
+        $double->method('doSomethingElse')->with(1)->willReturn(2);
+    }
+
+    public function testWithCanBeUsedWithoutExpectsAndIsVerifiedWhenTheMethodIsCalled(): void
+    {
+        $double = $this->createTestDouble(InterfaceWithReturnTypeDeclaration::class);
+
+        $double->method('doSomethingElse')->with(1)->willReturn(2);
+
+        $this->expectException(ExpectationFailedException::class);
+
+        $double->doSomethingElse(0);
+    }
+
     /**
      * @param class-string $type
      */