[package]
edition = "2024"
rust-version = "1.95"
name = "monty-type-checking"
version = "0.0.21"
authors = ["Samuel Colvin <samuel@pydantic.dev>"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "A sandboxed, snapshotable Python interpreter written in Rust."
homepage = "https://github.com/pydantic/monty/"
readme = "README.md"
keywords = [
"python",
"interpreter",
"sandbox",
"embedded",
]
categories = [
"compilers",
"emulators",
"development-tools",
]
license = "MIT"
repository = "https://github.com/pydantic/monty/"
resolver = "2"
[lib]
name = "monty_type_checking"
path = "src/lib.rs"
[[test]]
name = "main"
path = "tests/main.rs"
[[bench]]
name = "type_check"
path = "benches/type_check.rs"
harness = false
[dependencies.monty-types]
version = "0.0.21"
[dependencies.monty-typeshed]
version = "0.0.21"
[dependencies.ruff_db]
version = "0.0.3"
features = ["serde"]
[dependencies.ruff_python_ast]
version = "0.0.3"
[dependencies.ruff_text_size]
version = "0.0.3"
[dependencies.salsa]
version = "0.27.0"
features = [
"compact_str",
"macros",
"salsa_unstable",
"inventory",
]
default-features = false
[dependencies.ty_module_resolver]
version = "0.0.3"
[dependencies.ty_python_core]
version = "0.0.2"
[dependencies.ty_python_semantic]
version = "0.0.2"
[dev-dependencies.codspeed-criterion-compat]
version = "4.2.1"
[dev-dependencies.criterion]
version = "0.5"
[dev-dependencies.insta]
version = "1.47"
[dev-dependencies.pretty_assertions]
version = "1.4"
[target."cfg(unix)".dev-dependencies.pprof]
version = "0.15"
features = [
"flamegraph",
"criterion",
]
[lints.clippy]
absolute_paths = "warn"
allow_attributes = "warn"
cast_precision_loss = "allow"
dbg_macro = "warn"
doc_markdown = "allow"
match_same_arms = "allow"
missing_errors_doc = "allow"
redundant_clone = "warn"
similar_names = "allow"
too_many_lines = "allow"
undocumented_unsafe_blocks = "warn"
use_self = "warn"
[lints.clippy.pedantic]
level = "warn"
priority = -1
[lints.rust]
unsafe_code = "deny"
[lints.rust.unexpected_cfgs]
level = "warn"
priority = 0
check-cfg = [
"cfg(codspeed)",
"cfg(heap_reader_compile_fail_tests)",
"cfg(heap_reader_compile_fail_test_read_while_ref_alive)",
"cfg(heap_reader_compile_fail_test_dec_ref_while_reading)",
"cfg(heap_reader_compile_fail_test_smuggle_heap_read)",
"cfg(heap_reader_compile_fail_test_double_get_mut)",
"cfg(heap_reader_compile_fail_test_heap_mutation_while_reading)",
"cfg(heap_reader_compile_fail_test_mutation_in_map_closure)",
"cfg(heap_reader_compile_fail_test_smuggle_vm)",
"cfg(heap_reader_compile_fail_test_smuggle_and_swap_reader)",
]
[lints.rustdoc]
invalid_codeblock_attributes = "allow"