• Better source location if there are type errors within type comments.
• Basic support for PEP 681 (dataclass transforms).
• Prototype support for LSP hovering and goto-definition (needs to opt-in via configuration but this may change in the future).
• Basic support for PEP 561 (needs to opt-in via configuration but this may change in the future).
• Parsing is now performed lazily. This should significantly reduce the type checking time for small projects.