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に同じ