[verdagon]

This might be of interest: https://verdagon.dev/blog/first-regions-prototype

It uses region-based static analysis without borrow checking: it doesn't impose aliasability-xor-mutability per object, or even per-region.

Though, if you'd like to move the goalposts further to no form of borrowing at all, then I recommend looking at languages like Forty2 and Verona, they might be what you're looking for.

[dmytrish]

I have already spent more time than I wanted on reading through verbose but elusive articles about Vale, without any insight into how this actually happens.

I have already spent too much time trying to compile Vale compiler which is a weird mix of Scala and C++ with a small Vale driver. Once it is actually written in Vale without segfaults, I'll revisit the language again.

Thanks for the Verona recommendation.