Unsoundness in Pin

Re:Unsoundness in Pin by Rusky on Friday November 29, 2019 @11:55AM (#21665401)

No, it's bits of valid syntax thrown together informally to express an idea. There is no `!:` in Rust, and that `for` quantification never applies to types or bounds that way.

[ Parent | on HN ]

Re:Unsoundness in Pin by withoutboats on Friday November 29, 2019 @01:12PM (#21665881)

(and the idea I was expressing was "shared references never under any circumstance implement the DerefMut trait")

[ Parent | on HN ]

Re:Unsoundness in Pin by bascule on Friday November 29, 2019 @09:46PM (#21668202)

`for` used in a bound (in conjunction with a lifetime) is the syntax for Higher-Rank Trait Bounds (HRTB):

https://doc.rust-lang.org/beta/nomicon/hrtb.html

[ Parent | on HN ]

Re:Unsoundness in Pin by Rusky on Wednesday December 04, 2019 @02:23PM (#21705938)

Yes, but it's not used that way in this snippet...

[ Parent | on HN ]