From 85a9662e5670c3cd314a1c014d443b20c38b83d1 Mon Sep 17 00:00:00 2001
From: ZhongNing <zhongning5@huawei.com>
Date: Wed, 28 May 2025 13:56:25 +0800
Subject: [PATCH] fix issue for arkts-no-structural-typing

Issue:https://gitee.com/openharmony/arkcompiler_ets_frontend/issues/ICAO2K

Test scenarios:new tests update to the linter

Signed-off-by: ZhongNing <zhongning5@huawei.com>
---
 ets2panda/linter/src/lib/TypeScriptLinter.ts  | 41 +++++++++++++++++++
 .../linter/test/main/structural_identity.ets  | 13 +++++-
 2 files changed, 53 insertions(+), 1 deletion(-)

diff --git a/ets2panda/linter/src/lib/TypeScriptLinter.ts b/ets2panda/linter/src/lib/TypeScriptLinter.ts
index 309d60b1b1..b95d1f60bf 100644
--- a/ets2panda/linter/src/lib/TypeScriptLinter.ts
+++ b/ets2panda/linter/src/lib/TypeScriptLinter.ts
@@ -5126,6 +5126,9 @@ export class TypeScriptLinter extends BaseTypeScriptLinter {
       this.options.arkts2 &&
       this.tsUtils.needToDeduceStructuralIdentity(targetType, exprType, tsAsExpr.expression, true)
     ) {
+      if (this.isExemptedAsExpression(tsAsExpr)) {
+        return;
+      }
       if (!this.tsUtils.isObject(exprType)) {
         this.incrementCounters(node, FaultID.StructuralIdentity);
       }
@@ -5134,6 +5137,41 @@ export class TypeScriptLinter extends BaseTypeScriptLinter {
     this.handleNoTuplesArrays(node, targetType, exprType);
   }
 
+  private isExemptedAsExpression(node: ts.AsExpression): boolean {
+    if (!ts.isElementAccessExpression(node.expression)) {
+      return false;
+    }
+
+    const sourceType = this.tsTypeChecker.getTypeAtLocation(node.expression);
+    const targetType = this.tsTypeChecker.getTypeAtLocation(node.type);
+    const isRecordIndexAccess = (): boolean => {
+      const exprType = this.tsTypeChecker.getTypeAtLocation(node.expression);
+      const hasNumberIndex = !!exprType.getNumberIndexType();
+      const hasStringIndex = !!exprType.getStringIndexType();
+      const hasBooleanIndex = !!exprType.getProperty('true') || !!exprType.getProperty('false');
+
+      return hasNumberIndex || hasStringIndex || hasBooleanIndex;
+    };
+
+    if (isRecordIndexAccess()) {
+      const targetSymbol = targetType.getSymbol();
+      if (targetSymbol && targetSymbol.getName() === 'Array') {
+        return true;
+      }
+    }
+    const primitiveFlags = ts.TypeFlags.Number | ts.TypeFlags.String | ts.TypeFlags.Boolean;
+    const objectFlag = ts.TypeFlags.Object;
+    return (
+      sourceType.isUnion() &&
+      sourceType.types.some((t) => {
+        return t.flags & primitiveFlags;
+      }) &&
+      sourceType.types.some((t) => {
+        return t.flags & objectFlag;
+      })
+    );
+  }
+
   private handleAsExpressionImport(tsAsExpr: ts.AsExpression): void {
     const type = tsAsExpr.type;
     const restrictedTypes = [
@@ -5884,6 +5922,9 @@ export class TypeScriptLinter extends BaseTypeScriptLinter {
       return;
     }
     if (this.tsUtils.needToDeduceStructuralIdentity(lhsType, rhsType, rhsExpr, isStrict)) {
+      if (ts.isNewExpression(rhsExpr) && ts.isIdentifier(rhsExpr.expression) && rhsExpr.expression.text === 'Promise') {
+        return;
+      }
       this.incrementCounters(field, FaultID.StructuralIdentity);
     }
   }
diff --git a/ets2panda/linter/test/main/structural_identity.ets b/ets2panda/linter/test/main/structural_identity.ets
index eae4133097..406a7fee8e 100644
--- a/ets2panda/linter/test/main/structural_identity.ets
+++ b/ets2panda/linter/test/main/structural_identity.ets
@@ -692,4 +692,15 @@ interface goodPerson extends IPerson {
     sayHello:()=> {
        return new MyObj2()
     }
- }
\ No newline at end of file
+ }
+
+ async function foo1(): Promise<boolean>{
+
+  return new Promise<boolean>(()=>{
+
+  });
+}
+
+function foo2(rule:Record<string,string|Object>){
+  let b:Array<string> = rule['123'] as Array<string>
+}
\ No newline at end of file
-- 
Gitee