定义 Rust 借用检查器。
这是一个核心库,用于模拟借用检查。它实现了本 博客文章 和本 [演讲] 中描述的分析。详细信息参见 Polonius 书。### 为什么叫 "Polonius"?
这个名字来自于著名的名言 "借者无明,还者无义",它来自莎士比亚的《哈姆雷特》中 Polonius 这个角色。### 想要运行代码吗?
您还可以尝试使用 -a Naive 来获取朴素规则(更易于阅读,速度较慢) - 这些是 博客文章 中描述的精确规则。您还可以使用 -a LocationInsensitive 来使用位置不敏感的分析(速度更快,但可能会产生虚假错误)。默认情况下,cargo run 仅打印时间。如果您还想查看结果,请尝试使用 --show-tuples(将显示错误)以及可能的 -v(显示更多中间计算结果)。您可以提供 --help 以获取更多文档。
或者,使用 #![feature(nll)] 标记生成一个框的输入事实:
暂无开放 Issues,或尚未同步最近议题。