let_underscore_future: skip when type is annotated

An explicit type annotation on the LHS (`let _: T = expr`) signals an
intentional discard, mirroring the rationale for `let_underscore_untyped`.
Without this gate, typed bindings such as
`let _: Pin<Box<dyn Future<Output = ()>>> = foo();` trigger the lint
despite the author explicitly opting in.

changelog: [`let_underscore_future`]: no longer triggers when the binding has an explicit type annotation
Signed-off-by: ChrisJr404 <chris@hacknow.com>

Author: ChrisJr404

clippy_lints/src/let_underscore.rs

@@ -162,7 +162,8 @@ impl<'tcx> LateLintPass<'tcx> for LetUnderscore {
                         );
                     },
                 );
-            } else if let Some(future_trait_def_id) = cx.tcx.lang_items().future_trait()
+            } else if local.ty.is_none()
+                && let Some(future_trait_def_id) = cx.tcx.lang_items().future_trait()
                 && implements_trait(cx, cx.typeck_results().expr_ty(init), future_trait_def_id, &[])
             {
                 #[expect(clippy::collapsible_span_lint_calls, reason = "rust-clippy#7797")]

tests/ui/let_underscore_future.rs

@@ -1,4 +1,5 @@
 use std::future::Future;
+use std::pin::Pin;
 
 async fn some_async_fn() {}
 
@@ -10,6 +11,10 @@ fn custom() -> impl Future<Output = ()> {
 
 fn do_something_to_future(future: &mut impl Future<Output = ()>) {}
 
+fn boxed() -> Pin<Box<dyn Future<Output = ()>>> {
+    Box::pin(async {})
+}
+
 fn main() {
     let _ = some_async_fn();
     //~^ let_underscore_future
@@ -21,4 +26,7 @@ fn main() {
     do_something_to_future(&mut future);
     let _ = future;
     //~^ let_underscore_future
+
+    // Typed bindings are an intentional discard, see also `let_underscore_untyped`.
+    let _: Pin<Box<dyn Future<Output = ()>>> = boxed();
 }

tests/ui/let_underscore_future.stderr

@@ -1,5 +1,5 @@
 error: non-binding `let` on a future
-  --> tests/ui/let_underscore_future.rs:14:5
+  --> tests/ui/let_underscore_future.rs:19:5
    |
 LL |     let _ = some_async_fn();
    |     ^^^^^^^^^^^^^^^^^^^^^^^^
@@ -9,15 +9,15 @@ LL |     let _ = some_async_fn();
    = help: to override `-D warnings` add `#[allow(clippy::let_underscore_future)]`
 
 error: non-binding `let` on a future
-  --> tests/ui/let_underscore_future.rs:17:5
+  --> tests/ui/let_underscore_future.rs:22:5
    |
 LL |     let _ = custom();
    |     ^^^^^^^^^^^^^^^^^
    |
    = help: consider awaiting the future or dropping explicitly with `std::mem::drop`
 
 error: non-binding `let` on a future
-  --> tests/ui/let_underscore_future.rs:22:5
+  --> tests/ui/let_underscore_future.rs:27:5
    |
 LL |     let _ = future;
    |     ^^^^^^^^^^^^^^^