[sirwhinesalot]

Yes, I only meant that the way they work (meaning how the "lifetimes" are tracked) is very similar.

C++ has to be "best effort" because it tries to bolt these semantics onto the pre-existing reference types, which were never required to adhere to them. It can catch some obvious bugs but most of the time you'll get a pile of false positives and negatives.