Skip to content

New proxy syntax#320

Merged
rodrigogribeiro merged 2 commits into
mainfrom
new-proxy-syntax
Feb 24, 2026
Merged

New proxy syntax#320
rodrigogribeiro merged 2 commits into
mainfrom
new-proxy-syntax

Conversation

@rodrigogribeiro

@rodrigogribeiro rodrigogribeiro commented Feb 24, 2026

Copy link
Copy Markdown
Collaborator

This PR adds a simple syntax sugar for proxies.

  • At type level, @type denotes Proxy(type).
  • At expression level, @type denotes Proxy : Proxy(type).

Y-Nak
Y-Nak approved these changes Feb 24, 2026
View reviewed changes

@Y-Nak Y-Nak left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@rodrigogribeiro rodrigogribeiro merged commit 0e53a89 into main Feb 24, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Y-Nak Y-Nak Y-Nak approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@rodrigogribeiro @Y-Nak