Well, that&#x27;s true in Rust, but there are systems out there that will allow you to prove doubly-linked lists correct. An alternate approach to GC&#x2F;RC would be to introduce more type system machinery (or to try to encode it in a library) to allow the construction of these data structures safely.<p>(Whether this would be worth the effort is another question, of course.)