Should @types be dependencies rather than devDepdencies?

[ShuiRuTian]

Please refer this great article: https://rushjs.io/pages/advanced/phantom_deps/

If the @types packages are not one of dependencies, when using a project manager which could avoid phantom deps, the @types packages would not be found.

For example, use pnpm to download just-scripts, and you will find argv() will give you a useless "Argument" type, because it could not be found. This also implies it might use wrong version of types.