Have you thought about Zig? If you limit it to CompTime, isn't that just a scripting language that happens to be compiled to binary?

Possibly, I'm not really interested in learning Zig though (or learning to embed it in Rust). I'm sure that'd be a cool project for someone else to try :).