HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

fix(checker): remove redundant match case
All checks were successful
Tests / tests (pull_request) Successful in 6s
Details

Browse Source
This commit is contained in:
Louis Heredero
2026-07-10 11:30:10 +02:00
parent 90e9d167bf
commit 720a82c221
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
midas/checker/types.py
View File

@@ -362,9 +362,6 @@ def substitute_typevars(type: Type, substitutions: dict[str, Type]) -> Type:
case UnknownType() | UnitType(): case UnknownType() | UnitType():
return type return type
case TopType() | GenericType():
raise NotImplementedError(f"Unsupported type {type}")
# Ensure exhaustiveness # Ensure exhaustiveness
case _: case _:
assert_never(type) assert_never(type)