[ty] Infer lambda parameter types with Callable type context

[ty] Infer lambda parameter types with Callable type context #14602