PHP的静态分析

PHP的静态分析 在里面 潘 bin/phan --init --init-overwrite --init-analyze-dir=src --init-level=1 bin/phan -p --color PHP斯坦 phpstan analyse src 诗篇 bin/psalm --init src 1 bin/psalm ビルトインのジェネリック型 phpstanや诗篇ではSPLのコレクションなどはジェネリック型として定义されているけれどもphanだとそうではない？psalmだと下记にビルトインのジェネリック型がリストされているよなのだけどphan php phpstanに同じものはないかな？ phpstanについては下记を参照すればいいでしょうか。 型アサーション PhanやPsalmは型アサーションが可能が。 /** * @param mixed $x * @p