-
Notifications
You must be signed in to change notification settings - Fork 0
Rc::project
is unsound.
#3
Comments
For comparison: using yoke with The more general alternative I proposed in the linked owning-ref thread is to add a lifetime parameter, i.e. for this crate something like |
Darn it, I knew I was going to do something wrong. What's different between this and Independent of the fact that their projection lifetime ends up being invariant, it's that the manipulated lifetime has to be the only lifetime, isn't it. So the solution needs to be a I'm actively considering just yanking and replacing with a |
I write slowly and cross-reference stuff that I started before your second comment and it didn't show up in the app 🙃 |
I've experimented some with different ways of closing this hole, and I think any way of doing so makes the alleged benefit of specializing to just |
Adapted from: Kimundi/owning-ref-rs#71.
Reproducing example:
Applies to
Arc
, too, of course.The text was updated successfully, but these errors were encountered: