Fix the judgment of the union type Created-by: cy917474985 Commit-by: caiy Merged-by: openharmony_ci Description: ## **描述** 修复 arkts-sendable-obj-init 规则在联合类型场景下的误报问题。原规则在字面量（对象字面量/数组字面量）的上下文类型为联合类型时，只要联合中任意一个成员是 Sendable 类型即报错，导致字面量实际只会初始化联合中非 Sendable 分支时仍被误判. 方案：对联合类型改为先取字面量节点的实际类型，筛出该字面量真正可赋值的联合成员，仅当「至少有一个匹配成员」且「所有匹配成员均为 Sendable」时才报错；非联合类型保持原行为不变。 ## **Issue** Issue: https://gitcode.com/openharmony/third_party_typescript/issues/781 ## **自测试用例** ### **一、tsc测试套** #### **1. tsc原生测试** - [x] 已通过 - [ ] 不涉及，无需验证 ![image.png](https://raw.gitcode.com/user-images/assets/4384436/d5b1a79a-74f0-46f9-a5a2-57b0d5c92661/image.png 'image.png') #### **2. ts_extra_test** - [ ] 已通过 - [x] 不涉及，无需验证 ### **二、ArkTSLinter测试套** #### **1. 三方库测试** - [ ] 已通过 - [x] 不涉及，无需验证 #### **2. Cookbook+issue测试** - [ ] 已通过 - [x] 不涉及，无需验证 #### **3. ArkTest测试** - [x] 已通过 - [ ] 不涉及，无需验证 ![image.png](https://raw.gitcode.com/user-images/assets/4384436/e6ccac66-a37f-42ea-be5a-e6d0153818a5/image.png 'image.png') ![image.png](https://raw.gitcode.com/user-images/assets/4384436/2efc6ad6-8d4a-4f2e-874f-fab373849a54/image.png 'image.png') ### **三、编译测试** #### **1. 端到端测试** - [ ] 已通过 - [x] 不涉及，无需验证 ### **四、预览测试** - [ ] 已通过 - [x] 不涉及，无需验证 ### **五、热重载测试** - [ ] 已通过 - [x] 不涉及，无需验证 ### **六、急速预览** - [ ] 已通过 - [x] 不涉及，无需验证 ### **七、应用测试** - [ ] 已通过 - [x] 不涉及，无需验证 ## **CheckList** #### **1. 是否影响abc文件** - [ ] 影响abc文件，已验证运行时功能 - [x] 不涉及，无需验证 See merge request: openharmony/third_party_typescript!869