PhpStorm meta file for Prophecy

prophecy.meta.php

<?php

namespace PHPSTORM_META {
    override(\Prophecy\Argument::type(0),
        map([
            '' => '@',
        ])
    );

    override(\Prophecy\Argument::exact(0),
        map([
            '' => '@',
        ])
    );
}