Reproduce of phpunit not asserting expectations of prophecy mocks created in data provider

prophecy-reproduce.php

<?php

class RandomClassWithMock 
{
	public function methodToMock()
	{
		return 42;
	}
}

class ProphecyNotAssertedReproduce extends PHPUnit_Framework_TestCase
{
	/**
	 * @dataProvider setProvider
	 */
	public function testProphecyCheckFails($mock)
	{
		$mock->methodToMock()->shouldBeCalled();
	}

	public function setProvider()
	{
		$mock = $this->prophesize(RandomClassWithMock::class);

		yield 'this mock is not asserted' => [
			$mock
		];
	}

	/**
	 * @dataProvider setProvider
	 */
	public function testProphecyCheckManuallySucceeds($mock)
	{
		$mock->methodToMock()->shouldBeCalled();
		$mock->checkProphecyMethodsPredictions();
	}
}