3 ms·

Is Bronze memory safe?

• kobebrookskC3 5y ago
  unfortunately, it's unsound https://github.com/mcoblenz/Bronze/issues/2 https://github.com/mcoblenz/Bronze/issues/2
  • codeflo 5y ago
    That’s an evil problem to have. Let’s say you derive two references to a GC’d object (this can easily happen accidentally in a graph-like data structure) and pass them both as parameters to a function. I’ve looked at disassembled Rust code before. Given how aggressively the compiler optimizes based on the guarantees around & and &mut, I’d be surprised if this system compiles any non-toy programs correctly at all.