I guess, yeah. I meant that what Cyclone does is along the same lines. > The key feature that Rust has is flow-sensitive permissions on unique loan paths, whic

I guess, yeah. I meant that what Cyclone does is along the same lines. > The key feature that Rust has is flow-sensitive permissions on unique loan paths, which is actually pretty novel as far as I'm aware. Huh, right.