1 # THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
3 # When uploading crates to the registry Cargo will automatically
4 # "normalize" Cargo.toml files for maximal compatibility
5 # with all versions of Cargo and also rewrite `path` dependencies
6 # to registry (e.g., crates.io) dependencies
8 # If you believe there's an error in this file please file an
9 # issue against the rust-lang/cargo repository. If you're
10 # editing this file be aware that the upstream Cargo.toml
11 # will likely look very different (and much more reasonable)
14 name = "polonius-engine"
16 authors = ["The Rust Project Developers", "Polonius Developers"]
17 description = "Core definition for the Rust borrow checker"
19 keywords = ["compiler", "borrowck", "datalog"]
20 license = "Apache-2.0/MIT"
21 repository = "https://github.com/rust-lang-nursery/polonius"
22 [dependencies.datafrog]
28 [dependencies.rustc-hash]