Re:Unsoundness in Pin
by withoutboats on Sunday December 01, 2019 @06:59PM
(#21678695)
The name for that reference type is a shared reference. It's literally the default reference type. It's not a sufficient guarantee for the use cases Pin supports.
[ Parent
| on HN ]
There are no comments on this comment yet.