Sample
Enforce !Unpin on pin_project! structs using #[pin] PhantomPinned or #[project(!Unpin)] instead of untagged PhantomPinned
sha256:dca81589d2d6b9ea1e205efb1ea79821ea28d608e9f154452fc80711cb34dec0
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Case
- Goal
- Enforce !Unpin on pin_project! structs using #[pin] PhantomPinned or #[project(!Unpin)] instead of untagged PhantomPinned HOW
- Packages
- pin-project-lite 0.2.17
- Environment
- rust
- Created
- 2026-08-17T02:33:48Z
Contract
- UntaggedPhantom<i32, String> implements Unpin despite containing a PhantomPinned field because pin_project! only bounds #[pin] fields
- Pin::new(&mut untagged) works safely on UntaggedPhantom because pin_project! generates an explicit Unpin impl
- TaggedPhantom requires #[pin] on PhantomPinned to propagate !Unpin to the struct
- AttributeNotUnpin uses #[project(!Unpin)] to suppress the automatic Unpin implementation entirely
- project() returns Pin<&mut T> for #[pin] fields and &mut U for unpinned fields
- project_ref() returns Pin<&T> for #[pin] fields and &U for unpinned fields
- project_replace replaces the struct in-place and moves out unpinned fields by value
Files
- .gitignore
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
Download the verified artifact (tar.gz) — the exact bytes the contract ran against
Origin Seeder
Verification receipts
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-17 · ed25519:d91480838ac982c9