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

fix(checker): allow inferred return to be subtype of hint

Browse Source
This commit is contained in:
Louis Heredero
2026-06-16 12:55:05 +02:00
parent c3229b557c
commit c4062c9595
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
midas/checker/python.py
View File

@@ -252,7 +252,7 @@ class PythonTyper(
if returns_hint is not None: if returns_hint is not None:
assert stmt.returns is not None assert stmt.returns is not None
returns = returns_hint returns = returns_hint
if returns != inferred_return: if not self.is_subtype(inferred_return, returns):
self.reporter.error( self.reporter.error(
stmt.returns.location, stmt.returns.location,
f"Return type mismatch, annotated {returns} but returns {inferred_return}", f"Return type mismatch, annotated {returns} but returns {inferred_return}",