Show error codes for some notes

[ilevkivskyi]

This will hint people affected by #13851 what to do to silence this. I am not doing it for all notes as this will cause too much noise (especially for some nicely formatted multi-line notes like possible overloads, incompatible overrides, or protocol mismatches), instead we can select specific codes that we want to show.

cc @svalentin

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

kornia (https://github.com/kornia/kornia)
- kornia/feature/defmo.py:221: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/defmo.py:221: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/utils/helpers.py:37: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/utils/helpers.py:37: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/geometry/linalg.py:100: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/geometry/linalg.py:100: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/geometry/linalg.py:101: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/geometry/linalg.py:101: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/geometry/linalg.py:104: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/geometry/linalg.py:104: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/geometry/linalg.py:105: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/geometry/linalg.py:105: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/geometry/linalg.py:108: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/geometry/linalg.py:108: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:145: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:145: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:148: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:148: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:150: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:150: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:151: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:151: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:153: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:153: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:154: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:154: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:156: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:156: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:158: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:158: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:159: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:159: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:160: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:160: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:161: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:161: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:163: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:163: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:295: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:295: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:297: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:297: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:298: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:298: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:299: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:299: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:300: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:300: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:301: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:301: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:303: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:303: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:304: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:304: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:305: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:305: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:306: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:306: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- kornia/feature/siftdesc.py:308: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ kornia/feature/siftdesc.py:308: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]

pyinstrument (https://github.com/joerick/pyinstrument)
- pyinstrument/frame.py:368: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ pyinstrument/frame.py:368: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]

aiortc (https://github.com/aiortc/aiortc)
- src/aiortc/contrib/media.py:308: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ src/aiortc/contrib/media.py:308: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- src/aiortc/contrib/media.py:309: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ src/aiortc/contrib/media.py:309: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- src/aiortc/contrib/media.py:312: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ src/aiortc/contrib/media.py:312: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- src/aiortc/contrib/media.py:315: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ src/aiortc/contrib/media.py:315: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- src/aiortc/contrib/media.py:316: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ src/aiortc/contrib/media.py:316: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]

operator (https://github.com/canonical/operator)
- ops/framework.py:995: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ ops/framework.py:995: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- ops/framework.py:1126: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ ops/framework.py:1126: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- ops/framework.py:1127: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ ops/framework.py:1127: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- ops/testing.py:2257: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ ops/testing.py:2257: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]

discord.py (https://github.com/Rapptz/discord.py)
- discord/opus.py:384: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/opus.py:384: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/member.py:174: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/member.py:174: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/member.py:176: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/member.py:176: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/member.py:177: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/member.py:177: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/member.py:178: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/member.py:178: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/webhook/sync.py:110: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/webhook/sync.py:110: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/webhook/async_.py:122: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/webhook/async_.py:122: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/ui/item.py:62: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/ui/item.py:62: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/ui/item.py:63: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/ui/item.py:63: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/ui/item.py:64: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/ui/item.py:64: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- discord/ui/item.py:71: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ discord/ui/item.py:71: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]

Expression (https://github.com/cognitedata/Expression)
- expression/system/cancellation.py:59: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ expression/system/cancellation.py:59: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_disposable.py:9: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_disposable.py:9: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_disposable.py:19: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_disposable.py:19: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_disposable.py:32: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_disposable.py:32: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_disposable.py:42: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_disposable.py:42: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_disposable.py:57: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_disposable.py:57: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_disposable.py:75: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_disposable.py:75: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_cancellation.py:66: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_cancellation.py:66: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_cancellation.py:77: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_cancellation.py:77: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_cancellation.py:89: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_cancellation.py:89: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_union.py:127: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_union.py:127: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_typing.py:90: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_typing.py:90: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_typing.py:101: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_typing.py:101: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_try.py:17: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_try.py:17: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_try.py:25: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_try.py:25: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_try.py:34: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_try.py:34: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_seq.py:115: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_seq.py:115: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_seq.py:291: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_seq.py:291: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_parser.py:25: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_parser.py:25: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_parser.py:39: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_parser.py:39: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_parser.py:53: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_parser.py:53: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_parser.py:54: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_parser.py:54: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option_effect.py:11: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option_effect.py:11: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:107: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:107: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:122: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:122: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:136: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:136: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:155: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:155: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:156: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:156: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:166: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:166: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:167: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:167: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:240: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:240: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:363: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:363: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:377: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:377: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:419: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:419: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:430: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:430: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:446: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:446: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:477: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:477: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:478: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:478: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:489: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:489: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_option.py:490: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_option.py:490: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_map.py:11: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_map.py:11: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_map.py:18: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_map.py:18: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_map.py:108: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_map.py:108: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_mailbox.py:53: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_mailbox.py:53: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_mailbox.py:56: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_mailbox.py:56: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_choice.py:5: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_choice.py:5: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_choice.py:18: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_choice.py:18: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_block.py:22: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_block.py:22: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_array.py:45: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_array.py:45: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_array.py:55: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_array.py:55: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_array.py:65: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_array.py:65: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_array.py:75: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs
+ tests/test_array.py:75: note: By default the bodies of untyped functions are not checked, consider using --check-untyped-defs  [annotation-unchecked]
- tests/test_array.py:85: note: By default the bodies of untyped functions are not checked, consider using --c

... (truncated 953 lines) ...