default return: dont suppress unannotated errors

KotlinIsland · Apr 7, 2022 · 013311a · 013311a
1 parent 61a69cb
commit 013311a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/mypy/checker.py b/mypy/checker.py
@@ -1111,6 +1111,7 @@ def is_unannotated_any(t: Type) -> bool:
                     typ.ret_type = NoneType()
                     # fully unannotated fdef needs to be assigned a type
                     fdef.type = typ
+                    self.check_for_missing_annotations(fdef, typ)
                 else:
                     if (not fdef.arguments or (len(fdef.arguments) == 1 and
                             (fdef.arg_names[0] == 'self' or fdef.arg_names[0] == 'cls'))):

diff --git a/test-data/unit/check-based-default-return.test b/test-data/unit/check-based-default-return.test
@@ -18,6 +18,13 @@ reveal_type(A.f)  # N:13: Revealed type is "def (self: __main__.A)"
 reveal_type(A.g)  # N:13: Revealed type is "def (self: __main__.A, i: builtins.int)"
 
 
+[case testPartiallyTyped]
+# flags: --default-return --allow-any-expr
+def foo(a): ...  # E:1: Function is missing a type annotation for one or more arguments  [no-untyped-def]
+reveal_type(foo)  # N:13: Revealed type is "def (a: Any)"
+
+
+
 [case testUntypedDefs]
 # flags: --default-return --allow-untyped-defs --allow-any-expr