make type checking more strict

robertmuth · Oct 17, 2024 · f2388d5 · f2388d5
1 parent 489ca1f
commit f2388d5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/FrontEnd/typify.py b/FrontEnd/typify.py
@@ -1215,6 +1215,7 @@ def visitor(node, _):
                 node} in {node.x_srcloc}"
             assert ct.name in tc.corpus, f"bad type annotation for {
                 node}: {node.x_type}"
+            assert ct.replacement_type is None
             verifier.Verify(node, tc)
 
         elif isinstance(node, UNTYPED_NODES_TO_BE_TYPECHECKED):