refactor: use semantic model for module graph (#9211)

Author: ematipico

.changeset/fix-type-inference-imported-bindings.md

@@ -0,0 +1,33 @@
+---
+"@biomejs/biome": patch
+---
+
+Fixed [#7905](https://github.com/biomejs/biome/issues/7905). Improved the accuracy of type-aware lint rules when analyzing re-exported functions and values.
+
+Previously, when a binding was imported from another module, its type was not correctly inferred during the type analysis phase. This caused type-aware lint rules to fail to detect issues when working with re-exported imports.
+
+The following rules now correctly handle re-exported imports:
+- [`useAwaitThenable`](https://biomejs.dev/linter/rules/use-await-thenable/)
+- [`noFloatingPromises`](https://biomejs.dev/linter/rules/no-floating-promises/)
+- [`noMisusedPromises`](https://biomejs.dev/linter/rules/no-misused-promises/)
+- [`useArraySortCompare`](https://biomejs.dev/linter/rules/use-array-sort-compare/)
+
+Example of now-working detection:
+
+```ts
+// getValue.ts
+export async function getValue(): Promise<number> {
+    return 42;
+}
+
+// reexport.ts
+export { getValue } from "./getValue";
+
+// index.ts
+import { getValue } from "./reexport";
+
+// Previously: no diagnostic (type was unknown)
+// Now: correctly detects that getValue() returns a Promise
+await getValue(); // Valid - properly awaited
+getValue();       // Diagnostic - floating promise
+```

Cargo.lock

@@ -0,0 +1,5 @@
+/* should not generate diagnostics */
+
+export async function getValue(): Promise<number> {
+    return 42;
+}

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/invalidReexportedPromise/getValue.ts

@@ -0,0 +1,13 @@
+---
+source: crates/biome_js_analyze/tests/spec_tests.rs
+expression: getValue.ts
+---
+# Input
+```ts
+/* should not generate diagnostics */
+
+export async function getValue(): Promise<number> {
+    return 42;
+}
+
+```

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/invalidReexportedPromise/getValue.ts.snap

@@ -0,0 +1,8 @@
+/* should generate diagnostics */
+
+import { getValue } from "./reexport";
+
+function test() {
+    // Invalid: Promise is not handled (no await, no .then, no void operator)
+    getValue();
+}

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/invalidReexportedPromise/index.ts

@@ -0,0 +1,36 @@
+---
+source: crates/biome_js_analyze/tests/spec_tests.rs
+expression: index.ts
+---
+# Input
+```ts
+/* should generate diagnostics */
+
+import { getValue } from "./reexport";
+
+function test() {
+    // Invalid: Promise is not handled (no await, no .then, no void operator)
+    getValue();
+}
+
+```
+
+# Diagnostics
+```
+index.ts:7:5 lint/nursery/noFloatingPromises ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+  i A "floating" Promise was found, meaning it is not properly handled and could lead to ignored errors or unexpected behavior.
+  
+    5 │ function test() {
+    6 │     // Invalid: Promise is not handled (no await, no .then, no void operator)
+  > 7 │     getValue();
+      │     ^^^^^^^^^^^
+    8 │ }
+    9 │ 
+  
+  i This happens when a Promise is not awaited, lacks a `.catch` or `.then` rejection handler, or is not explicitly ignored using the `void` operator.
+  
+  i This rule belongs to the nursery group, which means it is not yet stable and may change in the future. Visit https://biomejs.dev/linter/#nursery for more information.
+  
+
+```

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/invalidReexportedPromise/index.ts.snap

@@ -0,0 +1,3 @@
+/* should not generate diagnostics */
+
+export { getValue } from "./getValue";

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/invalidReexportedPromise/reexport.ts

@@ -0,0 +1,11 @@
+---
+source: crates/biome_js_analyze/tests/spec_tests.rs
+expression: reexport.ts
+---
+# Input
+```ts
+/* should not generate diagnostics */
+
+export { getValue } from "./getValue";
+
+```

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/invalidReexportedPromise/reexport.ts.snap

@@ -0,0 +1,5 @@
+/* should not generate diagnostics */
+
+export async function getValue(): Promise<number> {
+    return 42;
+}

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/validReexportedPromise/getValue.ts

@@ -0,0 +1,13 @@
+---
+source: crates/biome_js_analyze/tests/spec_tests.rs
+expression: getValue.ts
+---
+# Input
+```ts
+/* should not generate diagnostics */
+
+export async function getValue(): Promise<number> {
+    return 42;
+}
+
+```