[flake8-type-checking] Add sub-diagnostic showing the runtime use of an annotation (TC004) (#23091)

## Summary

<!-- What's the purpose of the change? What does it do, and why? -->
Part of #17203, have not changed `ImportBinding`
#16490 (comment)

## Test Plan

<!-- How was it tested? -->
Updated snapshots.

---------

Signed-off-by: Bhuminjay <bhuminjaysoni@gmail.com>

Author: 11happy

crates/ruff_linter/src/rules/flake8_type_checking/imports.rs

@@ -1,4 +1,4 @@
-use ruff_python_semantic::{AnyImport, Binding, ResolvedReferenceId};
+use ruff_python_semantic::{AnyImport, Binding, ResolvedReference, ResolvedReferenceId};
 use ruff_text_size::{Ranged, TextRange};
 
 /// An import with its surrounding context.
@@ -15,6 +15,8 @@ pub(crate) struct ImportBinding<'a> {
     pub(crate) parent_range: Option<TextRange>,
     /// Whether the binding needs `from __future__ import annotations` to be imported.
     pub(crate) needs_future_import: bool,
+    /// A runtime reference to this import, used for diagnostic annotations.
+    pub(crate) runtime_reference: Option<&'a ResolvedReference>,
 }
 
 impl Ranged for ImportBinding<'_> {

crates/ruff_linter/src/rules/flake8_type_checking/rules/runtime_import_in_type_checking_block.rs

@@ -123,11 +123,12 @@ pub(crate) fn runtime_import_in_type_checking_block(checker: &Checker, scope: &S
         };
 
         if binding.context.is_typing()
-            && binding.references().any(|reference_id| {
+            && let Some(runtime_reference) = binding.references().find_map(|reference_id| {
                 let reference = checker.semantic().reference(reference_id);
 
-                reference.in_runtime_context()
-                    && !(ignore_dunder_all_references && reference.in_dunder_all_definition())
+                (reference.in_runtime_context()
+                    && !(ignore_dunder_all_references && reference.in_dunder_all_definition()))
+                .then_some(reference)
             })
         {
             let Some(node_id) = binding.source else {
@@ -141,6 +142,7 @@ pub(crate) fn runtime_import_in_type_checking_block(checker: &Checker, scope: &S
                 range: binding.range(),
                 parent_range: binding.parent_range(checker.semantic()),
                 needs_future_import: false, // TODO(brent) See #19359.
+                runtime_reference: Some(runtime_reference),
             };
 
             if checker.rule_is_ignored(Rule::RuntimeImportInTypeCheckingBlock, import.start())
@@ -197,6 +199,7 @@ pub(crate) fn runtime_import_in_type_checking_block(checker: &Checker, scope: &S
                     import,
                     range,
                     parent_range,
+                    runtime_reference,
                     ..
                 } in imports
                 {
@@ -207,6 +210,9 @@ pub(crate) fn runtime_import_in_type_checking_block(checker: &Checker, scope: &S
                         },
                         range,
                     );
+                    if let Some(runtime_reference) = runtime_reference {
+                        diagnostic.secondary_annotation("Used at runtime here", runtime_reference);
+                    }
                     if let Some(range) = parent_range {
                         diagnostic.set_parent(range.start());
                     }
@@ -225,6 +231,7 @@ pub(crate) fn runtime_import_in_type_checking_block(checker: &Checker, scope: &S
                     import,
                     range,
                     parent_range,
+                    runtime_reference,
                     ..
                 } in imports
                 {
@@ -235,6 +242,9 @@ pub(crate) fn runtime_import_in_type_checking_block(checker: &Checker, scope: &S
                         },
                         range,
                     );
+                    if let Some(runtime_reference) = runtime_reference {
+                        diagnostic.secondary_annotation("Used at runtime here", runtime_reference);
+                    }
                     if let Some(range) = parent_range {
                         diagnostic.set_parent(range.start());
                     }

crates/ruff_linter/src/rules/flake8_type_checking/rules/typing_only_runtime_import.rs

@@ -374,6 +374,7 @@ pub(crate) fn typing_only_runtime_import(
             range: binding.range(),
             parent_range: binding.parent_range(checker.semantic()),
             needs_future_import,
+            runtime_reference: None,
         };
 
         if checker.rule_is_ignored(rule_for(import_type), import.start())

crates/ruff_linter/src/rules/flake8_type_checking/snapshots/ruff_linter__rules__flake8_type_checking__tests__quote_runtime-import-in-type-checking-block_quote.py.snap

@@ -9,6 +9,7 @@ TC004 [*] Move import `pandas.DataFrame` out of type-checking block. Import is u
     |                            ^^^^^^^^^
 111 |
 112 |     x: TypeAlias = DataFrame | None
+    |                    --------- Used at runtime here
     |
 help: Move out of type-checking block
 1   + from pandas import DataFrame

crates/ruff_linter/src/rules/flake8_type_checking/snapshots/ruff_linter__rules__flake8_type_checking__tests__runtime-import-in-type-checking-block_TC004_1.py.snap

@@ -8,6 +8,7 @@ TC004 [*] Move import `datetime.datetime` out of type-checking block. Import is
 4 |     from datetime import datetime
   |                          ^^^^^^^^
 5 | x = datetime
+  |     -------- Used at runtime here
   |
 help: Move out of type-checking block
 1 | from typing import TYPE_CHECKING

crates/ruff_linter/src/rules/flake8_type_checking/snapshots/ruff_linter__rules__flake8_type_checking__tests__runtime-import-in-type-checking-block_TC004_11.py.snap

@@ -9,6 +9,7 @@ TC004 [*] Move import `typing.List` out of type-checking block. Import is used f
   |                        ^^^^
 5 |
 6 | __all__ = ("List",)
+  |            ------ Used at runtime here
   |
 help: Move out of type-checking block
 1 | from typing import TYPE_CHECKING

crates/ruff_linter/src/rules/flake8_type_checking/snapshots/ruff_linter__rules__flake8_type_checking__tests__runtime-import-in-type-checking-block_TC004_12.py.snap

@@ -9,6 +9,7 @@ TC004 [*] Move import `collections.abc.Callable` out of type-checking block. Imp
   |                                 ^^^^^^^^
 7 |
 8 | AnyCallable: TypeAlias = Callable[..., Any]
+  |                          -------- Used at runtime here
   |
 help: Move out of type-checking block
 1 | from __future__ import annotations

crates/ruff_linter/src/rules/flake8_type_checking/snapshots/ruff_linter__rules__flake8_type_checking__tests__runtime-import-in-type-checking-block_TC004_17.py.snap

@@ -2,12 +2,18 @@
 source: crates/ruff_linter/src/rules/flake8_type_checking/mod.rs
 ---
 TC004 [*] Move import `pandas.DataFrame` out of type-checking block. Import is used for more than type hinting.
- --> TC004_17.py:6:24
-  |
-5 | if TYPE_CHECKING:
-6 |     from pandas import DataFrame
-  |                        ^^^^^^^^^
-  |
+  --> TC004_17.py:6:24
+   |
+ 5 | if TYPE_CHECKING:
+ 6 |     from pandas import DataFrame
+   |                        ^^^^^^^^^
+   |
+  ::: TC004_17.py:10:9
+   |
+ 9 | def example() -> DataFrame:
+10 |     x = DataFrame()
+   |         --------- Used at runtime here
+   |
 help: Move out of type-checking block
 1  | from __future__ import annotations
 2  | 

crates/ruff_linter/src/rules/flake8_type_checking/snapshots/ruff_linter__rules__flake8_type_checking__tests__runtime-import-in-type-checking-block_TC004_2.py.snap

@@ -8,6 +8,12 @@ TC004 [*] Move import `datetime.date` out of type-checking block. Import is used
 4 |     from datetime import date
   |                          ^^^^
   |
+ ::: TC004_2.py:8:12
+  |
+7 | def example():
+8 |     return date()
+  |            ---- Used at runtime here
+  |
 help: Move out of type-checking block
 1 | from typing import TYPE_CHECKING
 2 + from datetime import date

crates/ruff_linter/src/rules/flake8_type_checking/snapshots/ruff_linter__rules__flake8_type_checking__tests__runtime-import-in-type-checking-block_module__app.py.snap

@@ -9,6 +9,13 @@ TC004 [*] Move import `datetime` out of type-checking block. Import is used for
    |            ^^^^^^^^
 10 |     from array import array  # TC004
    |
+  ::: app.py:20:25
+   |
+19 | @app.put("/datetime")
+20 | def set_datetime(value: datetime.datetime):
+   |                         -------- Used at runtime here
+21 |     pass
+   |
 help: Move out of type-checking block
 4  | 
 5  | import fastapi
@@ -32,6 +39,13 @@ TC004 [*] Move import `array.array` out of type-checking block. Import is used f
 11 |
 12 | app = fastapi.FastAPI("First application")
    |
+  ::: app.py:24:20
+   |
+23 | @app_container.app.get("/array")
+24 | def get_array() -> array:
+   |                    ----- Used at runtime here
+25 |     pass
+   |
 help: Move out of type-checking block
 4  | 
 5  | import fastapi