fixed the liveness check again! now finally on to implementing Drop, Move and Copy
Follow
i've been meaning to get around to this for ages, but the semantics of Drop and Move heavily rely on having a robust liveness analysis up and running. it's still not at 100%, but it handles non-trivial cases well and i'm a lot more confident in its logical soundness. feels good man
for the sake of simplicity and my own personal sanity, the first version of comune probably won't have storable references. rather, you'll be able to implement non-trivial memory structures using raw pointers behind `unsafe` blocks - or, y'know, use libcomune-provided types when they arrive
(and honestly, i've found the approach of "use references for trivial stuff, and standard library types for complicated cases" more than sufficient for implementing comune in Rust, too)