On 2016-04-28 8:54 AM, Jack Moffitt wrote: > I apologize if this seemed flippant. I sent it sincerely to show that > such an analysis is possible, and it makes up one of the key features > of Rust. I have no idea how feasible this is to implement in C++, but > I suspect it must be hard as it is one of the main motivations for > Rust.
FWIW the subset of the rust static checks that rely on the notion of Rust lifetimes cannot be expressed in C++ as it doesn't have the notion of lifetimes in the Rust sense, but this analysis doesn't rely on that, so it should be expressible in C++ too. _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
