diff --git a/mypy/checkexpr.py b/mypy/checkexpr.py
index af9eea0dee44..79454d029ee2 100644
--- a/mypy/checkexpr.py
+++ b/mypy/checkexpr.py
@@ -1799,7 +1799,7 @@ def infer_lambda_type_using_context(self, e: FuncExpr) -> Optional[CallableType]
 
         if ARG_STAR in arg_kinds or ARG_STAR2 in arg_kinds:
             # TODO treat this case appropriately
-            return callable_ctx
+            return None
         if callable_ctx.arg_kinds != arg_kinds:
             # Incompatible context; cannot use it to infer types.
             self.chk.fail(messages.CANNOT_INFER_LAMBDA_TYPE, e)
diff --git a/test-data/unit/check-inference.test b/test-data/unit/check-inference.test
index 9eb49926cd49..799fb3525d70 100644
--- a/test-data/unit/check-inference.test
+++ b/test-data/unit/check-inference.test
@@ -1033,18 +1033,7 @@ b = lambda: None  # type: Callable[[], None]
 f(b)
 g(b) # E: Argument 1 to "g" has incompatible type Callable[[], None]; expected Callable[[], int]
 
-[case testLambdaDefaultContext]
-# flags: --strict-optional
-from typing import Callable
-def f(a: Callable[..., None] = lambda *a, **k: None):
-    pass
-
-def g(a: Callable[..., None] = lambda *a, **k: 1):  # E: Incompatible return value type (got "int", expected None)
-    pass
-[out]
-main:6: error: Incompatible types in assignment (expression has type Callable[[StarArg(Any), KwArg(Any)], int], variable has type Callable[..., None])
 
-[builtins fixtures/dict.pyi]
 -- Boolean operators
 -- -----------------