Rust 开发者经常遇到微妙的借用检查器问题，这些问题可能导致不安全 bug。像 VSCode 或 IntelliJ 这样的 IDE 的静态分析插件可以实时突出潜在问题。
该插件将与现有的 Rust 工具集成，以分析通常会导致借用检查器违规的代码模式。它可以为有问题的代码片段建议修复或变通方法。
中大型公司的 Rust 团队会为此付费，以避免昂贵的调试会话并提高代码质量。第一个版本可以专注于近期研究中确定的最常见的借用检查器陷阱。
最大的风险是与现有 linter 和 Rust 编译器自身诊断的重叠。差异化需要对 Rust 的所有权模型有深入的专业知识。