Rust borrow checker’da P-high ses güvenliği açığı: covariant alan ataması
rust-lang/rust #164250, struct ömür sınırlarının covariant alan atamasıyla aşılabildiğini ve kısa ömürlü referansların Drop içinde tutulabileceğini belgeleyen I-unsound, P-high bir borrow-checking hatası olarak işaretlendi (13 Ekim 2026).
Mekanizma, struct lifetime bound’larını bypass ederek non-'static referansların yaşam süresini uzatıyor. Repro stable ≥1.85.0 üzerinde; maintainer yorumlarına göre benzer varyantlar Rust 1.4’e kadar uzanıyor. Önerilen düzeltme **PR 164277 ile takipte.
rustc Types Team, pratik exploit için çoğunlukla kötü niyetli veya olağandışı Drop implementasyonu gerektiğini vurguluyor — tipik uygulama kodunda risk profili sınırlı kalabilir. Yine de rust-compiler-soundness ve memory-safety vaadi açısından sistem kütüphane yazarları issue ve patch’i izlemeli.