そういうのって、どこまで検証してるんだろうか
というかどこまで検証するかユーザ意思で設定できるんだろうか

例えば file_get_contents($url, false, $context) の戻り値は文字列かbool値falseだけど
IDEがコードチェックする度に$urlにアクセス確認されちゃ嫌だ

$param = (mt_rand(0,1) === 1) ? 'teststring' : array(1,2,3) ;
さらには、こんな$paramをそのfunctionに投げたらどうなるか