تیم Rust Types در حل‌کننده صفت نسل بعدی به جلو حرکت می‌کند

اعلام شده در ژانویه ۲۰۲۳، انواع Rust تیم با بخش‌هایی از زبان Rust و کامپایلر که شامل سیستم نوع از جمله بررسی نوع، حل صفت و بررسی قرض می‌شود، سر و کار دارد. اهداف عبارتند از تلاش برای ساختن نوع سیستم سالم، سریع، سازگار و قابل توسعه. اولویت های تیم انواع شامل ایجاد سیستم تایپ سالم، سریع، سازگار و قابل توسعه است. تیم typeها یک تیم فرعی از تیم های زبان و کامپایلر است.

تیم Rust Types همچنین گزارش می‌دهد که async-fn را در صفات و بازگشت موقعیت impl Trait را در صفات در Rust 1.75 تثبیت کرده است. بهبودهایی در نحوه نمایش ژنراتورها و عملکردهای همگام در سیستم نوع ایجاد شده است. طراحی حل‌کننده صفت نسل بعدی، مشکلات و چالش‌های سازگاری آینده اجرای نام مستعار با استفاده از حل‌کننده صفت قدیمی را به‌وجود آورد. کار برای دوباره کاری طراحی و پیاده سازی در حال انجام است.

چندین مشکل نادرست قدیمی رفع شد، که قابل توجه ترین آنها عدم صحت بررسی نوع صفت code>immpls. این مسئله ظریف باعث شد که تیم روش‌های مربوط به امضای تابع را بپذیرد. در همین حال، تیم مسائل باز باقی مانده را دسته بندی کرده و آنها را ادغام می کند. به برنامه ریزی طولانی مدت.