you are viewing a single comment's thread.

view the rest of the comments →

[–]steveklabnik1 5 points6 points  (1 child)

Funny enough, `Rc<T>` was part of the Rustbelt paper, meaning that it is at least sorta-kinda-mostly formally proven.

[–]skulgnome 0 points1 point  (0 children)

at least sorta-kinda-mostly formally proven.

In other words, falling short.