@ITの記事Microsoft、Pythonの静的型チェック機能を提供する「VS Code」プラグイン「Pyright」を公開によると、mypyなどよりも5倍以上も高速な型チェッカのVisual Source Codeのプラグインが先週から公開されているそうです。
GitHubのリポジトリもあります。
Pyrightをpipenv環境で利用する場合には環境設定ファイルに指定しないと、サードパーティーのライブラリのimportに問題があると表示するようです。環境設定ファイルは、デフォルトではプロジェクトのルート・ディレクトリにあるpyrightconfig.jsonです。
設定にはpipenv --venvの出力結果が必要です。たとえばpipenv --venvの出力が/home/user1/.virtualenvs/test1-4AdBOHeoの場合には、以下の通りです。
pyrightconfig.json
{
"venvPath": "/home/user1/.virtualenvs/test1-4AdBOHeo"
}
軽く試した限りでは、細かい制御の設定が見当たらなかったり、表示されている問題をクリックしてもソースコードが表示されないことがあったりして、これからに期待という感じです。