Try D it has most features that you just described. It feels Phytonic and it's GC by default[1].

There is an ongoing work for borrow checker for D language, and pardon the pun but I believe D is borrowing just the right amount features from Cyclon and Rust for safer compiled software without overly complex programming syntax.

[1]Origins of the D programming language:

https://dl.acm.org/doi/abs/10.1145/3386323