I don’t think Carbon will have a borrow checker. I am under the impression it’s just checking array bounds and adding nicer syntax
D already has a borrow checker in prototype form.
Carbon is experimental, don't make any predictions. Herb Sutter has his own that I forget the name of with interesting things that when mature are making it to C++