Step 2 has been happening concurrently, and pretty much since the start of the project. See https://github.com/immunant/c2rust/tree/master/c2rust-refact.... It is just a lot tougher to get right, so it gets less publicity.

Ah awesome! Thanks for the link.

Cool, that seems like a very sensible approach. The fact that they are already uncovering memory issues in C is promising too.

Yep, I think so too. That example output is more verbose than a human would write, but it’s a sensible start.

Looks like it's meant to enable projects similar to how the Go compiler/toolchain was initially translated (with the like-named c2go) and then gradually rewritten over time into idiomatic golang. It's easy to see that this could be a much more tenable project then a grand rewrite that has two codebases iterating forward in parallel for a time.