Skip to content

Forward #[rule] and #[invariant] attributes#155

Merged
Liam-DeVoe merged 3 commits intomainfrom
forward-rule-derive
Mar 30, 2026
Merged

Forward #[rule] and #[invariant] attributes#155
Liam-DeVoe merged 3 commits intomainfrom
forward-rule-derive

Conversation

@Liam-DeVoe
Copy link
Copy Markdown
Member

Closes #151.

Copy link
Copy Markdown
Member

@DRMacIver DRMacIver left a comment

Choose a reason for hiding this comment

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

This generally looks fine to me except that I found that the release notes were completely inscrutable and I had to do a bunch of issue chasing to figure out what this was about. I'd appreciate an example or other clarification of the problem in the release notes.

@Liam-DeVoe
Copy link
Copy Markdown
Member Author

I actually think this is a reasonably readable changelog to rust natives, because "attribute" is a specific rust glossary definition. But I've added an example

@DRMacIver
Copy link
Copy Markdown
Member

I actually think this is a reasonably readable changelog to rust natives, because "attribute" is a specific rust glossary definition. But I've added an example

It was actually "forwarding" that threw me rather than "attribute"!

Comment thread .github/workflows/ci.yml
- name: Check lint
run: just check-lint
- name: Check Zizmor
- name: Check zizmor
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.

This doesn't matter, but why was this lower-cased here?

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

oops this was a local change I hadn't meant to bundle here. I just noticed at some point that all our step names were Sentence case even for proper nouns, and changed it without thinking too much. It totally doesn't matter and I'm fine reverting this

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.

I'm fine either way, feel free to leave it in if you prefer.

@Liam-DeVoe Liam-DeVoe merged commit 10b1188 into main Mar 30, 2026
14 checks passed
@Liam-DeVoe Liam-DeVoe deleted the forward-rule-derive branch March 30, 2026 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Carry forward annotations on stateful #[rule] and #[invariant]

2 participants