From 720a82c2215fd102ee7e6fa981be4abf4f06a211 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Fri, 10 Jul 2026 11:30:10 +0200
Subject: [PATCH] fix(checker): remove redundant match case

---
 midas/checker/types.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/midas/checker/types.py b/midas/checker/types.py
index 2becf9b..6aabc82 100644
--- a/midas/checker/types.py
+++ b/midas/checker/types.py
@@ -362,9 +362,6 @@ def substitute_typevars(type: Type, substitutions: dict[str, Type]) -> Type:
         case UnknownType() | UnitType():
             return type
 
-        case TopType() | GenericType():
-            raise NotImplementedError(f"Unsupported type {type}")
-
         # Ensure exhaustiveness
         case _:
             assert_never(type)