diff --git a/pyproject.toml b/pyproject.toml index fb794afd..831bcc08 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,18 +1,14 @@ [tool.zuban] +strict = true +enable_error_code = ["ignore-without-code"] + +# Revert some --strict specific flags: +allow_untyped_calls = true +allow_untyped_defs = true +allow_incomplete_defs = true +allow_untyped_globals = true +untyped_strict_optional = false +implicit_reexport = true + # Exclude our copies of external stubs exclude = "^jedi/third_party|^test/(completion|refactor|static_analysis|examples)/" - -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