|
|
|
|
|
|
by kibwen
2 days ago
|
|
|
> I've encountered a few soundness holes in rust-lang in practice Indeed, I'm trying to be careful not to claim that merely fixing #25860 at long last would make Rust's implementation suddenly beyond reproach. For that, we would need formal verification (which, so far, has at least been done by Ralf Jung's group for proving the correctness of large swathes of the standard library, but I wouldn't expect that to extend to the compiler anytime soon). |
|
|