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

2026-06-16 12:55:05 +02:00
1 changed files with 1 additions and 1 deletions
@@ -252,7 +252,7 @@ class PythonTyper(
        if returns_hint is not None:
            assert stmt.returns is not None
            returns = returns_hint
-            if returns != inferred_return:
+            if not self.is_subtype(inferred_return, returns):
                self.reporter.error(
                    stmt.returns.location,
                    f"Return type mismatch, annotated {returns} but returns {inferred_return}",