#borrow checker

Rusts 11-jähriger Speicherfehler versteckte sich in sicherem Code

Ein winziger, obskurer Grenzfall im Typsystem blieb über ein Jahrzehnt lang unentdeckt. Seine Entdeckung erinnert daran, dass selbst die stärksten Sicherheitsgarantien davon abhängen, dass der Compiler-Code jedes Detail korrekt verarbeitet.