Hi there,
i noticed the autocomplete for prophecy and mockobjects are not working in closures.
As seen here:

For easy copy paste:
$class = $this->prophesize(\Exception::class); $class->getLine()->shouldBeCalled(); $closure = function() use ($class) { $class->getLine()-> };