Support for Annotated in Links for Cleaner Type Checking

[edersilva78]

Hi,

I wanted to bring up a type-checking issue and propose an enhancement.

When defining a Link in a Document model like this:

class MyDocument(Document):
    another_doc: Link[AnotherDoc]
    another_field: str

The type checker (and IDE) identifies another_doc as being of type Link rather than AnotherDoc. This creates friction when working with tools that rely on type annotations for static analysis and code suggestions.

To address this, would it be possible (or feasible) to define links using Annotated? For example:

class MyDocument(Document):
    another_doc: Annotated[AnotherDoc, link]
    another_field: str

This approach could preserve type information for tools while still conveying the Link semantics to the runtime or ORM.

I’d love to hear your thoughts on whether this could be implemented or if there’s a better way to address this issue.

Thank you for your work on this project!

Best regards,

Eder