用于Rust借用检查的核心定义
由Rémy Rakic、Niko Matsakis、Rust项目开发者、Polonius开发者共同拥有 (21位贡献者)。 由Rust编程语言共同拥有。
使用旧版Rust 2015
#116 在 编程语言 中
61,767 每月下载量用于 polonius
92KB 1.5K SLoC
这是一个核心库,用于模拟借用检查。它实现了在此博客文章中描述的分析。此库旨在由rustc和polonius crate(一个用于测试、分析等的独立前端)共同使用。
~170KB