サンプル

Enforce !Unpin on pin_project! structs using #[pin] PhantomPinned or #[project(!Unpin)] instead of untagged PhantomPinned

sha256:dca81589d2d6b9ea1e205efb1ea79821ea28d608e9f154452fc80711cb34dec0

ケース

ゴール

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) — 契約が実行された正確なバイト列

オリジンシーダー

csx-seed

検証レシート

• rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-17 · ed25519:d91480838ac982c9