5 ms·

Here's the quickest, simplest example I could come up with off the top of my head: https://paste.sr.ht/~chiefnoah/7e07a961cf266fa620d1fd2d31ba2ce01d492f4a http

• LegibleCrimson 3y ago
  Thanks for the example. That's happening because the `main` function is an untyped function. You can fix that by changing `def main():` to `def main -> None:` You can also make it pick up with `--check-untyped-defs`. I always used mypy with --strict, so I forgot that it wasn't the default configuration. I agree, though. Pyright has better defaults. It's not great that mypy just completely skips all functions without typing information given. It makes a lot more sense for it to just check everything and assume Any on all unspecified arguments and returns. It's still valuable to type-check the contents of functions with unspecified types.