Remove stuff that I've pulled into separate PRs

See: #191 #192 #193 #194
hypothesis · Jan 17, 2025 · 43f91b1 · 43f91b1
1 parent c1ec5cf
commit 43f91b1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/_shared/project/pyproject.toml b/_shared/project/pyproject.toml
@@ -279,7 +279,6 @@ pretty = true
 warn_unused_configs = true
 warn_redundant_casts = true
 warn_unused_ignores = true
-check_untyped_defs = true
 
 disable_error_code = [
     # https://mypy.readthedocs.io/en/stable/error_code_list.html#code-import-untyped