Add one more check and discover a bug in phpstan

Author: akondas

spec/Proget/Tests/PHPStan/PhpSpec/BarSpec.php

@@ -33,4 +33,11 @@ public function it_should_throw_exception(Foo $foo): void
 
         $this->shouldThrow(\RuntimeException::class)->during('foo');
     }
+
+    public function it_should_call_void_one_time(Foo $foo): void
+    {
+        $foo->doSomething()->shouldBeCalledTimes(1);
+
+        $this->bar();
+    }
 }

tests/Bar.php

@@ -24,4 +24,9 @@ public function foo(): string
 
         return $this->foo->foo();
     }
+
+    public function bar(): void
+    {
+        $this->foo->doSomething();
+    }
 }

tests/Foo.php

@@ -21,6 +21,10 @@ public function foo(): string
         return '';
     }
 
+    public function doSomething(): void
+    {
+    }
+
     public function makeBaz(): int
     {
         return $this->baz->make();