I did a talk on this at BSDCan 2026:

https://www.bsdcan.org/2026/timetable/timetable-Model-Checki...

That link has the slides and some example code. There's also a live stream on YouTube.

Regarding features I miss from C++, I like the concept of generics. I don't like the implementation in C++. I also find C's _Generic facility to be limited, especially when building containers that perform hygienic type erasure. This feature isn't enough for me to go back to C++ on its own, but it is something I'm exploring in a new language I'm writing.