Skip to content

[anodized-core] feat: support input patterns on trait functions - #162

Open
mkovaxx wants to merge 15 commits into
mainfrom
feat-trait-fn-patterns
Open

[anodized-core] feat: support input patterns on trait functions#162
mkovaxx wants to merge 15 commits into
mainfrom
feat-trait-fn-patterns

Conversation

@mkovaxx

@mkovaxx mkovaxx commented Jul 21, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator

Caveats:

  • Runtime instrumentation of a trait currently relies on forwarding to an implementation shim.
  • Call forwarding needs to reconstruct arguments, making certain patterns (e.g. wildcards) unsupported.
  • Call forwarding consumes inputs, causing some semantically valid postconditions to fail borrow checking.

@mkovaxx mkovaxx self-assigned this Jul 21, 2026
@mkovaxx mkovaxx changed the title [anodized-core] feat: allow input patterns on trait functions [anodized-core] feat: support input patterns on trait functions Jul 21, 2026
@mkovaxx
mkovaxx marked this pull request as ready for review July 21, 2026 07:21
@mkovaxx
mkovaxx requested a review from luketpeterson July 26, 2026 00:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@luketpeterson luketpeterson Awaiting requested review from luketpeterson

At least 1 approving review is required to merge this pull request.

Assignees

@mkovaxx mkovaxx

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@mkovaxx