<?php namespace PHPSTORM_META; override(\Mockery::mock(0), map(["" => "@"])); override(\Mockery::spy(0), map(["" => "@"])); override(\Mockery::namedMock(0), map(["" => "@"])); override(\Mockery::instanceMock(0), map(["" => "@"])); override(\mock(0), map(["" => "@"])); override(\spy(0), map(["" => "@"])); override(\namedMock(0), map(["" => "@"]));