From 720dd239f9c1b4d898df4b4694cc391fea354bb1 Mon Sep 17 00:00:00 2001
From: Igor Loginov <loginov.igor1@huawei-partners.com>
Date: Wed, 21 May 2025 23:23:12 +0300
Subject: [PATCH] Exernal files check/recheck (related to issue IC97DH)

---
 .../recheck/imports/unchecked/library.ts      | 20 +++++++++++++++++++
 .../recheck/imports/unchecked/main.ts         |  3 +++
 .../test/arkts-api/recheck/recheck.test.ts    |  4 ++++
 3 files changed, 27 insertions(+)
 create mode 100644 ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/library.ts
 create mode 100644 ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/main.ts

diff --git a/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/library.ts b/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/library.ts
new file mode 100644
index 000000000..5add49855
--- /dev/null
+++ b/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/library.ts
@@ -0,0 +1,20 @@
+export function onlyParsedFunction() {
+    const five: string = 5
+    const arrow = (number: number): void => {
+        return 4
+    }
+    console.log(arrow(five))
+}
+
+export function returnInputString(arg: string) {
+    return arg
+}
+const somethingIsChecked: string = returnInputString("hello")
+const somethingIsNotChecked: string = returnInputString("hello" + 1)
+
+export function anotherOnlyParsedFunction() {
+    const x = 1
+    /* const x = 2 */ // TypeError: Variable 'x' has already been declared. [library.ts:17:11]
+    const howItWorks: number = returnInputString("arkts")
+}
+
diff --git a/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/main.ts b/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/main.ts
new file mode 100644
index 000000000..f2657abcc
--- /dev/null
+++ b/ui2abc/libarkts/test/arkts-api/recheck/imports/unchecked/main.ts
@@ -0,0 +1,3 @@
+import { onlyParsedFunction } from "./library"
+
+onlyParsedFunction()
diff --git a/ui2abc/libarkts/test/arkts-api/recheck/recheck.test.ts b/ui2abc/libarkts/test/arkts-api/recheck/recheck.test.ts
index 0435ab563..721b1ae52 100644
--- a/ui2abc/libarkts/test/arkts-api/recheck/recheck.test.ts
+++ b/ui2abc/libarkts/test/arkts-api/recheck/recheck.test.ts
@@ -206,6 +206,10 @@ suite(util.basename(__filename), () => {
         test('recursive', () => {
             runTest('imports/recursive', insertParameter, false, true)
         })
+
+        test('unchecked external file', () => {
+            runTest('imports/unchecked', undefined, true, true)
+        })
     })
 
     suite('overloads', () => {
-- 
Gitee