in testData/codeInsight/typeInference/InferredVarParameter.php [22:33]
function useVar(P $p)
{
$foo = "Foo";
$bar = "Foo";
function () use ($foo, $bar, $p) {
$bar = "Bar";
<type value="Foo">new $foo()</type>;
<type value="Bar">new $bar()</type>;
<type value="P">new $p()</type>;
}
}