From 6e89b60e44d2e43b47b246d513199db842e9ea82 Mon Sep 17 00:00:00 2001
From: "neiljp (Neil Pilgrim)" <github@kepier.clara.net>
Date: Fri, 23 Mar 2018 22:43:58 +0000
Subject: [PATCH] tools/mypy: Enforce a more explicit checking of Optional.

---
 mypy.ini | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/mypy.ini b/mypy.ini
index 80ce282e7d..e794be1c2d 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -2,6 +2,8 @@
 check_untyped_defs = True
 disallow_any_generics = True
 strict_optional = True
+# This is a more explicit supporting form of strict-optional:
+no_implicit_optional = True
 
 scripts_are_modules = True
 show_traceback = True