(🐞) An error should be reported when `reveal_type` is used but not called

reveal_type
not_defined

main.py:2:1: error: Name "not_defined" is not defined  [name-defined]
Found 1 error in 1 file (checked 1 source file)

Issue:

When reveal_type is called (reveal_type(1)) mypy reports a note and exits with status 1, but when reveal_type is used as a value without being called mypy doesn't report any error or note.

reveal_type

actual:

Success: no issues found in 1 source file

expected:

main.py:1:1: error: reveal_type must be called [misc]
Found 1 error in 1 file (checked 1 source file)

まず main.py の reveal_type の例を再現し、単独の reveal_type 式と比較して、mypy が reveal_type(1) をどのように処理するかを追跡します。単独での使用が reveal_type must be called [misc] を報告し、既存の呼び出し形式が引き続きそのノートを報告すれば完了です。