mirror of
https://github.com/davidhalter/jedi.git
synced 2026-04-25 00:13:03 +08:00
19 lines
467 B
TOML
19 lines
467 B
TOML
[tool.zuban]
|
|
# Exclude our copies of external stubs
|
|
exclude = "^jedi/third_party"
|
|
|
|
show_error_codes = true
|
|
enable_error_code = "ignore-without-code"
|
|
|
|
# Ensure generics are explicit about what they are (e.g: `List[str]` rather than
|
|
# just `List`)
|
|
disallow_any_generics = true
|
|
disallow_subclassing_any = true
|
|
|
|
# Avoid creating future gotchas emerging from bad typing
|
|
warn_redundant_casts = true
|
|
warn_return_any = true
|
|
warn_unused_configs = true
|
|
|
|
strict_equality = true
|