Pre/post-conditions annotations using Rust expressions#57
Open
Pre/post-conditions annotations using Rust expressions#57
Conversation
coord-e
force-pushed
the
coord-e/annotation-v2
branch
from
809279c to
89fc507
Compare
This was referenced Mar 30, 2026
Merged
coord-e
force-pushed
the
coord-e/annotation-v2
branch
from
89fc507 to
2958eb1
Compare
coord-e
changed the title
coord-e
force-pushed
the
coord-e/annotation-v2
branch
2 times, most recently
from
ec48146 to
97f139c
Compare
This was referenced Apr 30, 2026
When the annotated function already has #[thrust::extern_spec_fn], inject requires_path/ensures_path into the original function body instead of generating a separate _thrust_extern_spec_ wrapper. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…quires/ensures expansion Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
coord-e
force-pushed
the
coord-e/annotation-v2
branch
from
97f139c to
7017724
Compare
…n in requires/ensures expansion
coord-e
force-pushed
the
coord-e/annotation-v2
branch
from
8083491 to
e26cf4c
Compare
coord-e
force-pushed
the
coord-e/annotation-v2
branch
from
e26cf4c to
d0bb522
Compare
coord-e
force-pushed
the
coord-e/annotation-v2
branch
from
d0bb522 to
50bcc1b
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Introduce thrust-macros crate, and thrust_macros::requires and thrust_macros::ensures expands to annotations using thrust::formula_fn introduced in #65