Thema: pinning
-
Rust Pin: die Adresse des Zielobjekts bewahren, ohne die Zeigervariable einzufrieren
Diagnostiziert Pinning-Fehler, indem der adresssensitive Wert und die Operation identifiziert werden, die ihn verschieben könnte.
Maschinenlesbar: JSON