Personally I started looking at Rust precisely because borrow checking is a massive improvement over the C/ASM wild west.

If you like GC, I feel like there are plenty of other good options, like D, Ocaml, CLR languages (C#/F#).