support promise with global identifier

Author: kaykdm

crates/biome_js_analyze/src/lint/nursery/no_floating_promises.rs

@@ -5,10 +5,10 @@ use biome_console::markup;
 use biome_js_factory::make;
 use biome_js_semantic::SemanticModel;
 use biome_js_syntax::{
-    binding_ext::AnyJsBindingDeclaration, AnyJsExpression, AnyTsType, JsArrowFunctionExpression,
-    JsCallExpression, JsExpressionStatement, JsFunctionDeclaration, JsIdentifierExpression,
-    JsMethodClassMember, JsMethodObjectMember, JsStaticMemberExpression, JsSyntaxKind,
-    JsVariableDeclarator, TsReturnTypeAnnotation,
+    binding_ext::AnyJsBindingDeclaration, global_identifier, AnyJsExpression, AnyTsType,
+    JsArrowFunctionExpression, JsCallExpression, JsExpressionStatement, JsFunctionDeclaration,
+    JsIdentifierExpression, JsMethodClassMember, JsMethodObjectMember, JsStaticMemberExpression,
+    JsSyntaxKind, JsVariableDeclarator, TsReturnTypeAnnotation,
 };
 use biome_rowan::{AstNode, AstSeparatedList, BatchMutationExt, SyntaxNodeCast, TriviaPieceKind};
 
@@ -376,6 +376,8 @@ fn is_handled_promise(js_call_expression: &JsCallExpression) -> Option<bool> {
 /// async function returnsPromise(): Promise<void> {}
 ///
 /// returnsPromise().then(() => null).catch(() => {});
+///
+/// globalThis.Promise.reject('value').finally();
 /// ```
 ///
 /// Example TypeScript code that would return `false`:
@@ -389,6 +391,11 @@ fn is_member_expression_callee_a_promise(
     model: &SemanticModel,
 ) -> Option<bool> {
     let expr = static_member_expr.object().ok()?;
+
+    if is_promise_with_global_identifier(&expr) {
+        return Some(true);
+    }
+
     match expr {
         AnyJsExpression::JsCallExpression(js_call_expr) => {
             let callee = js_call_expr.callee().ok()?;
@@ -495,6 +502,8 @@ fn is_in_async_function(node: &JsExpressionStatement) -> bool {
 /// }
 ///
 /// const promise = new Promise((resolve) => resolve('value'));
+///
+/// const promiseWithGlobalIdentifier = new window.Promise((resolve, reject) => resolve('value'));
 /// ```
 fn is_variable_initializer_a_promise(
     js_variable_declarator: &JsVariableDeclarator,
@@ -513,6 +522,9 @@ fn is_variable_initializer_a_promise(
         ),
         AnyJsExpression::JsNewExpression(js_new_epr) => {
             let any_js_expr = js_new_epr.callee().ok()?;
+            if is_promise_with_global_identifier(&any_js_expr) {
+                return Some(true);
+            }
             let js_ident_expr = any_js_expr.as_js_identifier_expression()?;
             let reference = js_ident_expr.name().ok()?;
             Some(reference.has_name("Promise"))
@@ -569,3 +581,33 @@ fn is_variable_annotation_a_promise(js_variable_declarator: &JsVariableDeclarato
         _ => Some(false),
     }
 }
+
+/// Checks if an expression is a `Promise` with a global identifier.
+///
+/// This function inspects a given `AnyJsExpression` to determine if it represents a `Promise`
+/// with a global identifier, such as `window.Promise`. It returns `true` if the expression is a
+/// `Promise` with a global identifier, otherwise `false`.
+///
+/// # Arguments
+///
+/// * `expr` - A reference to an `AnyJsExpression` to check.
+///
+/// # Returns
+///
+/// * `true` if the expression is a `Promise` with a global identifier.
+/// * `false` otherwise.
+///
+/// # Examples
+///
+/// Example TypeScript code that would return `true`:
+/// ```typescript
+/// window.Promise.resolve();
+/// globalThis.Promise.resolve();
+/// ```
+///
+fn is_promise_with_global_identifier(expr: &AnyJsExpression) -> bool {
+    if let Some((_, value)) = global_identifier(expr) {
+        return value.text() == "Promise";
+    }
+    false
+}

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/invalid.ts

@@ -57,4 +57,9 @@ Promise.all([p1, p2, p3])
 
 const promiseWithParentheses = (new Promise((resolve, reject) => resolve('value')));
 promiseWithParentheses;
-(returnsPromise());
+(returnsPromise());
+
+
+const promiseWithGlobalIdentifier = new window.Promise((resolve, reject) => resolve('value'));
+promiseWithGlobalIdentifier.then(() => { }).finally(() => { });
+globalThis.Promise.reject('value').finally();

crates/biome_js_analyze/tests/specs/nursery/noFloatingPromises/invalid.ts.snap

@@ -64,6 +64,12 @@ Promise.all([p1, p2, p3])
 const promiseWithParentheses = (new Promise((resolve, reject) => resolve('value')));
 promiseWithParentheses;
 (returnsPromise());
+
+
+const promiseWithGlobalIdentifier = new window.Promise((resolve, reject) => resolve('value'));
+promiseWithGlobalIdentifier.then(() => { }).finally(() => { });
+globalThis.Promise.reject('value').finally();
+
 ```
 
 # Diagnostics
@@ -286,6 +292,7 @@ invalid.ts:59:1 lint/nursery/noFloatingPromises ━━━━━━━━━━
   > 59 │ promiseWithParentheses;
        │ ^^^^^^^^^^^^^^^^^^^^^^^
     60 │ (returnsPromise());
+    61 │ 
   
   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.
   
@@ -301,6 +308,39 @@ invalid.ts:60:1 lint/nursery/noFloatingPromises ━━━━━━━━━━
     59 │ promiseWithParentheses;
   > 60 │ (returnsPromise());
        │ ^^^^^^^^^^^^^^^^^^^
+    61 │ 
+  
+  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.
+  
+
+```
+
+```
+invalid.ts:64:1 lint/nursery/noFloatingPromises ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+  ! A "floating" Promise was found, meaning it is not properly handled and could lead to ignored errors or unexpected behavior.
+  
+    63 │ const promiseWithGlobalIdentifier = new window.Promise((resolve, reject) => resolve('value'));
+  > 64 │ promiseWithGlobalIdentifier.then(() => { }).finally(() => { });
+       │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+    65 │ globalThis.Promise.reject('value').finally();
+    66 │ 
+  
+  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.
+  
+
+```
+
+```
+invalid.ts:65:1 lint/nursery/noFloatingPromises ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+  ! A "floating" Promise was found, meaning it is not properly handled and could lead to ignored errors or unexpected behavior.
+  
+    63 │ const promiseWithGlobalIdentifier = new window.Promise((resolve, reject) => resolve('value'));
+    64 │ promiseWithGlobalIdentifier.then(() => { }).finally(() => { });
+  > 65 │ globalThis.Promise.reject('value').finally();
+       │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+    66 │ 
   
   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.