21:19:47
icon

Surprising soundness trouble around `PollFn` - Rust Internals
internals.rust-lang.org/t/surp
`F: !Unpin`の場合でも`core::future::PollFn<F>: Unpin`になっていたのか。クロージャ内でpinしたつもりがクロージャごとムーブされうるというのは確かにやらかしを招きやすそう……と思いきや既に「修正」済だったか(<github.com/rust-lang/rust/pull>)

Web site image
poll_fn and Unpin: fix pinning by RalfJung · Pull Request #102737 · rust-lang/rust
21:28:56
icon

Structural pinningがunsafe to implementだから`Unpin`はsafe to implementにできるというのは理屈の上ではそれはそうだけど、実際の運用としては中々微妙だよなあ。それを言い出したら既に`Drop`がsafe to implementであって`Drop::drop`が問答無用で`Self`をunpinするという避けえない挙動があって、それと一貫しているとは言えるけど