Library stubs not installed for requests

問題

以下のような requests を使った簡単なコードを書いたところ、 Library stubs not installed for "requests" (or incompatible with Python 3.9) というエラーで mypy さんに怒られました。

import requests

res = requests.get("https://example.com/")
print(res.text)

解決方法

こんなときは、pip install types-requestsしてあげれば大丈夫です。