From dc4e48d7c7b523102ba264190e019be5bceb7775 Mon Sep 17 00:00:00 2001
From: Peter Law <PeterJCLaw@gmail.com>
Date: Mon, 13 Feb 2023 19:29:03 +0000
Subject: [PATCH] Be stricter about mypy needing error codes

These make it clearer what's being ignored and harder to
accidentally ignore more than expected.
---
 setup.cfg | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/setup.cfg b/setup.cfg
index 4347bbf7..f792d598 100644
--- a/setup.cfg
+++ b/setup.cfg
@@ -31,6 +31,9 @@ max-line-length = 100
 # 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