示例
Enforce !Unpin on pin_project! structs using #[pin] PhantomPinned or #[project(!Unpin)] instead of untagged PhantomPinned
sha256:dca81589d2d6b9ea1e205efb1ea79821ea28d608e9f154452fc80711cb34dec0
PUBLISHED
L3_CONTRACT_PASS
MIT-0
案例
- 目标
- Enforce !Unpin on pin_project! structs using #[pin] PhantomPinned or #[project(!Unpin)] instead of untagged PhantomPinned HOW
- 包
- pin-project-lite 0.2.17
- 环境
- rust
- 创建时间
- 2026-08-17T02:33:48Z
契约
- 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
文件
- .gitignore
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
下载已验证的构件 (tar.gz) — 契约实际运行的那些字节
原始种子者
验证回执
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-17 · ed25519:d91480838ac982c9