[rsr]

Are there languages that copy Rust's type system and compiler ergonomics without the memory safety?

I feel like 90% of my struggles with Rust in the real world have to do with the borrow checker. The two pieces don't feel related enough to me that they need to be interlinked.