Rust 社区讨论是否为原生语法加入 requires 和 ensures 子句

来源标题：What would you think about Native requires and ensures clauses in Rust?

Rust 社区正在讨论在语言中引入 requires 和 ensures 子句，用于原生表达函数的前置和后置条件。该提案目前处于观点征集阶段，尚未形成正式 RFC，讨论聚焦于它对契约式编程和编译器验证的影响。