News for hackers. Stuff that matters.

A comment on Unsoundness in Pin. Parent comment

Re:Unsoundness in Pin by fluffything on Wednesday December 04, 2019 @05:32PM (#21707953)
And even for the user that only uses high level web frameworks, the moment that user needs to debug its program (which might have a bug in its executor), it needs to understand pinning.

I don't see any use case in which understanding pinning is not necessary.

[ Parent | on HN ]
Re:Unsoundness in Pin by withoutboats on Tuesday December 10, 2019 @02:24PM (#21755905)
There's miles between understanding pinning well enough to call `Box::pin` (a safe API) and understanding pinning well enough to call `Pin::get_mut_unchecked` (an unsafe API). When we talk about understanding pinning, we mean the latter.
[ Parent | on HN ]