bug: the diagnostic of a lambda expression type error is incomplete

[zong-zhe]

Bug Report

Please answer these questions before submitting your issue. Thanks!

1. Minimal reproduce step (Required)

The kcl file content:

_func = lambda x: int, y: int -> int {
    x - y
}  # Ok
_func = lambda x: int, y: int -> str {
    str(x + y)
}  

2. What did you expect to see? (Required)

  |
4 | _func = lambda x: int, y: int -> str {
  | ^ expected function (int, int) -> int, got function (int, int) -> str
  |

3. What did you see instead (Required)

  |
4 | _func = lambda x: int, y: int -> str {
  | ^ expected function, got function
  |

4. What is your KCL components version? (Required)

$ kcl --version
Version: 0.6.0-20ab3eb4b9179219d6837a57f5d35286
Platform: aarch64-apple-darwin
GitCommit: 54fba25efc10411faa5b8ba5f82e216047691772