[ETS] Infer type for lambda · Pull Request !1326 · OpenHarmony/arkcompiler_ets_frontend

**issue：**  https://gitee.com/openharmony/arkcompiler_ets_frontend/issues/I8FA8P?from=project-issue
Change-Id: I9e86991faa47990823688c252b7d02939c87f170
This PR contains type inference for lambda and this ETSFucntionType's casting
internal issue: #13081 #14212 #14604
```
// casting Function type
class A {
}

class B extends A {
    main () {
        let l = () => {} as () => void 
        let x = (a : A) => { return a} as (a : B) => B
        let y = (a : B) => { return a} as (a : A) => A
    }
}
```
```
// type Inference
function inferTper（）{
    let x = () => () =>{}
    let y = () => {
        return () => {}
    }
    let z = (a : number) : number => {
        return a + 1
    }
    let l = (a : number) => {
        return a + 1
    }
}
```
In this PR, we support:
1. Type inference for lambda;
2. Casting to function type.

Test result:
![输入图片说明](https://foruda.gitee.com/images/1701227960655776608/10c021e6_10473821.png "屏幕截图")
![输入图片说明](https://foruda.gitee.com/images/1701228012074284308/b686de82_10473821.png "屏幕截图")
![输入图片说明](https://foruda.gitee.com/images/1701228682933921031/955aa51d_10473821.png "屏幕截图")

类型	指派人员	状态
审查	@egavrin 由 CODEOWNERS 文件第 15 行指派为审查者	进行中 (0/1人)
审查	godmiaozi zhuoli72 徐城	进行中 (0/1人)
测试	openharmony_ci 已测试通过	已完成 (1/1人)

OpenHarmony/arkcompiler_ets_frontend .gitee-modal { width: 500px !important; }

搜索帮助

OpenHarmony/arkcompiler_ets_frontend