Enable to use thrust_macros::{ensures,requires} for trait method annotations - #79

Merged

coord-e merged 8 commits into

mainfrom

coord-e/trait-preds-annot-v2

May 10, 2026

Commits on May 6, 2026

Lookup unresolved DefId first
coord-e
committed
2e3a19d

Commits on May 10, 2026

Handle trait method annotations via extern_spec
coord-e
committed
0582e62
Add ?Sized to params where possible in std.rs
coord-e
committed
830d561
Resolve traits on user defined pred references in annot_fn
coord-e
committed
43273a4
Accept thrust_macros::{ensures,requires} on trait items
coord-e
committed
2f1e6ef
Implement #[thrust_macros::predicate]
coord-e
committed
037c64c
Attach Model predicate to direct associated type of generic params
coord-e
committed
e69e80d
Rewrite existing trait predicate tests with thrust_macros
coord-e
committed
65fc17c