Fake static

ehsanmok · July 28, 2019, 4:36pm

Apparently, it is possible to fake static with safe code . Is it a clear limitation of NLL?

RalfJung · July 28, 2019, 4:47pm

No, that's a long-standing known soundness bug. Bugs happen, and not all are easy to fix.

Topic		Replies	Views
[Pre-RFC] Unsafe lifetime language design	10	2068	March 25, 2019
Blog post: Thoughts on trusting types and unsafe code Unsafe Code Guidelines	47	5783	March 25, 2019
Pre-RFC: making unsafe more safe to use language design	12	3139	March 25, 2019
Blog post: observatonal equivalence and unsafe code Unsafe Code Guidelines	27	4788	March 25, 2019
Why likeky/unlikely intrinsics are unsafe?	6	1550	March 25, 2019