文章探讨了通过“脱糖”将复杂的Rust语言简化为核心Rust，降低复杂度，确保一致性，并简化形式化验证。脱糖将表面语法转化为核心语法，使Rust更可预测和易于实现。
完成下面两步后，将自动完成登录并继续当前操作。
