Rust 1.84升級Cargo相容性，強化Trait Solver與指標安全性

Rust開發團隊發布了最新穩定版本1.84，更新重點包括強化Cargo工具鏈的相容性管理、導入新一代Trait Solver，以及提升指標操作的安全性。此次改進聚焦於開發流程優化、型別系統可靠性提升及低階操作安全性，提供開發者多項實用功能與更完善的開發體驗。

Cargo的相依版本選擇機制引入了最低支援Rust版本（Minimum Supported Rust Version，MSRV）感知解析器。該功能可自動篩選出與專案宣告的Rust版本相容的相依版本，解決過去需要手動調整相依版本以支援舊工具鏈的問題。

啟用MSRV感知解析器後，專案在使用cargo add或執行相依更新時，系統會自動避開需要更高Rust版本的相依套件，減輕開發者維護多版本工具鏈負擔。MSRV感知解析器將成為即將穩定的2024 Edition預設功能。

Rust 1.84編譯器開始搬遷至新一代的Trait Solver，以改善型別系統的正確性與靈活性。Trait Solver是Rust處理型別推理與Trait實作相容性檢查的核心元件。本次更新修正了舊版本存在的數個正確性相關問題，並提升了系統判斷Trait實作是否相容的能力，部分過去被視為衝突的實作模式，在新版本中都已獲得支援。

Rust 1.84進一步推進指標（Pointer）操作的安全性，向低階開發者提供新的Pointer Provenance API。Rust一直以來以其嚴格的型別與記憶體安全聞名，而指標的操作安全性是其核心挑戰之一，在低階程式開發中，指標與整數的互轉是一種常見行為，但也可能導致潛在的未定義行為。

這套API目的在於取代傳統的指標與整數互轉操作，解決指標衍生過程中的不確定性問題，特別是在利用指標最低位元儲存額外資訊的場景。透過此功能，程式邏輯不僅更容易被分析與驗證，也能更好地支援像CHERI等重視指標安全的新興硬體架構。