From 59cc971cc651cbddde4c088a0b99bb4ec98bff94 Mon Sep 17 00:00:00 2001
From: Deimos <deimos@tildes.net>
Date: Fri, 21 Jun 2019 13:59:57 -0600
Subject: [PATCH] mypy: enable warnings for unnecessary cast/ignore

This doesn't have any effect currently, but it's good to know if
anything ever becomes unnecessary.
---
 tildes/mypy.ini | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tildes/mypy.ini b/tildes/mypy.ini
index d8c1e9c..0da2c5f 100644
--- a/tildes/mypy.ini
+++ b/tildes/mypy.ini
@@ -3,6 +3,8 @@ mypy_path = /opt/tildes/stubs/
 disallow_untyped_defs = true
 ignore_missing_imports = true
 no_implicit_optional = true
+warn_redundant_casts = true
+warn_unused_ignores = true
 
 [mypy-tests.*]
 disallow_untyped_defs = false