I've been trying out C3 (
https://c3-lang.org) as of late to satisfy my curiosity, and I find it amusing that the language disallows local type inference (outside of macros), while its obvious inspiration's latest iteration (C2x) now has it as a feature following C++'s example, albeit in a restricted manner.
Overall C3 is more powerful and convenient, assuming you don't need to use C for its ubiquity or plentiful implementations, but it comes up short like this.