Valen prüft Speichersicherheit rückwärts durch die Funktion

A new way to think about borrow checking (in reverse)

Valens neuer Borrow-Checker geht Funktionen von der letzten Anweisung rückwärts durch. Er sammelt in einer pending-Liste, welche Variablen später noch benutzt werden, und meldet einen Fehler, sobald eine Mutation eine davon ungültig macht. Der Autor nennt drei Gründe für die umgekehrte Richtung: Bequemlichkeit, Schleifen und Geschwindigkeit – und bittet um Feedback, weil er keinen anderen Borrow-Checker kennt, der seine Sicherheitsprüfung rückwärts ausführt.