Pre/post-conditions annotations using Rust expressions#57

Open

coord-e wants to merge 10 commits intomainfrom

coord-e/annotation-v2

Commits on Apr 30, 2026

Implement thrust-macros that expands requires and ensures attrs
coord-e
committed
Change thrust-macros expansion for extern_spec_fn functions

coord-e
and
claude
committed
Replace thrust::trusted with thrust::ignored on the original fn in requires/ensures expansion

coord-e
and
claude
committed
Add extern_spec for PartialEq::eq on Option, Result and Box
coord-e
committed
Replace annotations in some test cases with thrust_macros
coord-e
committed
Replace std annotations with thrust_macros
coord-e
committed
fixup! Replace thrust::trusted with thrust::ignored on the original fn in requires/ensures expansion
coord-e
committed
fixup! Implement thrust-macros that expands requires and ensures attrs
coord-e
committed
fixup! Replace annotations in some test cases with thrust_macros
coord-e
committed
fixup! Implement thrust-macros that expands requires and ensures attrs
coord-e
committed