Add diagnostic docs as of 08/23/25 (#6812)

Author: parlough

src/content/tools/diagnostics/index.md

@@ -7177,6 +7177,7 @@ _The type argument(s) of '{0}' can't be inferred._
 <div class="leading">
 </div>
 <div class="trailing">
+  <a class="outlined-button" href="/tools/diagnostics/inference_failure_on_collection_literal" title="Learn more about this diagnostic and how to resolve it.">Learn more</a>
   <button class="copy-button filled-button hidden" data-copy="inference_failure_on_collection_literal" title="Copy inference_failure_on_collection_literal to your clipboard.">Copy name</button>
 </div>
 </div>
@@ -7194,6 +7195,7 @@ _The type argument(s) of the function '{0}' can't be inferred._
 <div class="leading">
 </div>
 <div class="trailing">
+  <a class="outlined-button" href="/tools/diagnostics/inference_failure_on_function_invocation" title="Learn more about this diagnostic and how to resolve it.">Learn more</a>
   <button class="copy-button filled-button hidden" data-copy="inference_failure_on_function_invocation" title="Copy inference_failure_on_function_invocation to your clipboard.">Copy name</button>
 </div>
 </div>
@@ -7204,13 +7206,14 @@ _The type argument(s) of the function '{0}' can't be inferred._
 </div>
 <div class="card-content">
 
-_The return type of '{0}' cannot be inferred._
+_The return type of '{0}' can't be inferred._
 
 </div>
 <div class="card-actions">
 <div class="leading">
 </div>
 <div class="trailing">
+  <a class="outlined-button" href="/tools/diagnostics/inference_failure_on_function_return_type" title="Learn more about this diagnostic and how to resolve it.">Learn more</a>
   <button class="copy-button filled-button hidden" data-copy="inference_failure_on_function_return_type" title="Copy inference_failure_on_function_return_type to your clipboard.">Copy name</button>
 </div>
 </div>
@@ -7262,6 +7265,7 @@ _The type of {0} can't be inferred without either a type or initializer._
 <div class="leading">
 </div>
 <div class="trailing">
+  <a class="outlined-button" href="/tools/diagnostics/inference_failure_on_uninitialized_variable" title="Learn more about this diagnostic and how to resolve it.">Learn more</a>
   <button class="copy-button filled-button hidden" data-copy="inference_failure_on_uninitialized_variable" title="Copy inference_failure_on_uninitialized_variable to your clipboard.">Copy name</button>
 </div>
 </div>
@@ -7279,6 +7283,7 @@ _The type of {0} can't be inferred; a type must be explicitly provided._
 <div class="leading">
 </div>
 <div class="trailing">
+  <a class="outlined-button" href="/tools/diagnostics/inference_failure_on_untyped_parameter" title="Learn more about this diagnostic and how to resolve it.">Learn more</a>
   <button class="copy-button filled-button hidden" data-copy="inference_failure_on_untyped_parameter" title="Copy inference_failure_on_untyped_parameter to your clipboard.">Copy name</button>
 </div>
 </div>
@@ -13208,6 +13213,7 @@ _The matched value type '{0}' can never match the required type '{1}'._
 <div class="leading">
 </div>
 <div class="trailing">
+  <a class="outlined-button" href="/tools/diagnostics/pattern_never_matches_value_type" title="Learn more about this diagnostic and how to resolve it.">Learn more</a>
   <button class="copy-button filled-button hidden" data-copy="pattern_never_matches_value_type" title="Copy pattern_never_matches_value_type to your clipboard.">Copy name</button>
 </div>
 </div>
@@ -13991,6 +13997,7 @@ _'{0}' was removed in Dart '{1}'_
 <div class="leading">
 </div>
 <div class="trailing">
+  <a class="outlined-button" href="/tools/diagnostics/removed_lint_use" title="Learn more about this diagnostic and how to resolve it.">Learn more</a>
   <button class="copy-button filled-button hidden" data-copy="removed_lint_use" title="Copy removed_lint_use to your clipboard.">Copy name</button>
 </div>
 </div>
@@ -16185,6 +16192,7 @@ _Unnecessary cast pattern._
 <div class="leading">
 </div>
 <div class="trailing">
+  <a class="outlined-button" href="/tools/diagnostics/unnecessary_cast_pattern" title="Learn more about this diagnostic and how to resolve it.">Learn more</a>
   <button class="copy-button filled-button hidden" data-copy="unnecessary_cast_pattern" title="Copy unnecessary_cast_pattern to your clipboard.">Copy name</button>
 </div>
 </div>
@@ -17632,6 +17640,57 @@ _Use 'package:' imports for files in the 'lib' directory._
 </div>
 </div>
 </div>
+<div class="card outlined-card" id="analyzer_element_model_tracking_bad">
+<div class="card-header">
+<header class="card-title" id="analyzer_element_model_tracking_bad">{{"analyzer_element_model_tracking_bad" | underscoreBreaker}}</header>
+</div>
+<div class="card-content">
+
+_Bad tracking annotation for this member._
+
+</div>
+<div class="card-actions">
+<div class="leading">
+</div>
+<div class="trailing">
+  <button class="copy-button filled-button hidden" data-copy="analyzer_element_model_tracking_bad" title="Copy analyzer_element_model_tracking_bad to your clipboard.">Copy name</button>
+</div>
+</div>
+</div>
+<div class="card outlined-card" id="analyzer_element_model_tracking_more_than_one">
+<div class="card-header">
+<header class="card-title" id="analyzer_element_model_tracking_more_than_one">{{"analyzer_element_model_tracking_more_than_one" | underscoreBreaker}}</header>
+</div>
+<div class="card-content">
+
+_There can be only one tracking annotation._
+
+</div>
+<div class="card-actions">
+<div class="leading">
+</div>
+<div class="trailing">
+  <button class="copy-button filled-button hidden" data-copy="analyzer_element_model_tracking_more_than_one" title="Copy analyzer_element_model_tracking_more_than_one to your clipboard.">Copy name</button>
+</div>
+</div>
+</div>
+<div class="card outlined-card" id="analyzer_element_model_tracking_zero">
+<div class="card-header">
+<header class="card-title" id="analyzer_element_model_tracking_zero">{{"analyzer_element_model_tracking_zero" | underscoreBreaker}}</header>
+</div>
+<div class="card-content">
+
+_No required tracking annotation._
+
+</div>
+<div class="card-actions">
+<div class="leading">
+</div>
+<div class="trailing">
+  <button class="copy-button filled-button hidden" data-copy="analyzer_element_model_tracking_zero" title="Copy analyzer_element_model_tracking_zero to your clipboard.">Copy name</button>
+</div>
+</div>
+</div>
 <div class="card outlined-card" id="analyzer_public_api_bad_part_directive">
 <div class="card-header">
 <header class="card-title" id="analyzer_public_api_bad_part_directive">{{"analyzer_public_api_bad_part_directive" | underscoreBreaker}}</header>

src/content/tools/diagnostics/inference_failure_on_collection_literal.md

@@ -0,0 +1,48 @@
+---
+title: inference_failure_on_collection_literal
+description: >-
+  Details about the inference_failure_on_collection_literal
+  diagnostic produced by the Dart analyzer.
+underscore_breaker_titles: true
+body_class: highlight-diagnostics
+---
+
+_The type argument(s) of '{0}' can't be inferred._
+
+## Description
+
+The analyzer produces this diagnostic when
+- the language option `strict-inference` has been enabled in the analysis options file,
+- a list, map or set literal doesn't have type arguments, and
+- the values for the type arguments can't be inferred from the elements.
+
+## Example
+
+Given an analysis options file containing the following:
+
+```yaml
+analyzer:
+  language:
+    strict-inference: true
+```
+
+The following code produces this diagnostic because the type of the
+elements of the list literal can't be inferred by the analyzer:
+
+```dart
+void f() {
+  var list = [![]!];
+  print(list);
+}
+```
+
+## Common fixes
+
+Provide explicit type arguments for the literal:
+
+```dart
+void f() {
+  var list = <int>[];
+  print(list);
+}
+```

src/content/tools/diagnostics/inference_failure_on_function_invocation.md

@@ -0,0 +1,55 @@
+---
+title: inference_failure_on_function_invocation
+description: >-
+  Details about the inference_failure_on_function_invocation
+  diagnostic produced by the Dart analyzer.
+underscore_breaker_titles: true
+body_class: highlight-diagnostics
+---
+
+_The type argument(s) of the function '{0}' can't be inferred._
+
+## Description
+
+The analyzer produces this diagnostic when
+- the language option `strict-inference` has been enabled in the analysis options file,
+- the invocation of a method or function doesn't have type arguments, and
+- the values for the type arguments can't be inferred.
+
+## Example
+
+Given an analysis options file containing the following:
+
+```yaml
+analyzer:
+  language:
+    strict-inference: true
+```
+
+The following code produces this diagnostic because the invocation of the
+method `m` doesn't have type arguments and the type arguments can't be
+inferred:
+
+```dart
+abstract class C {
+  void m<T>();
+}
+
+void f(C c) {
+  c.[!m!]();
+}
+```
+
+## Common fixes
+
+Provide explicit type arguments for the invocation:
+
+```dart
+abstract class C {
+  void m<T>();
+}
+
+void f(C c) {
+  c.m<int>();
+}
+```

src/content/tools/diagnostics/inference_failure_on_function_return_type.md

@@ -0,0 +1,46 @@
+---
+title: inference_failure_on_function_return_type
+description: >-
+  Details about the inference_failure_on_function_return_type
+  diagnostic produced by the Dart analyzer.
+underscore_breaker_titles: true
+body_class: highlight-diagnostics
+---
+
+_The return type of '{0}' can't be inferred._
+
+## Description
+
+The analyzer produces this diagnostic when
+- the language option `strict-inference` has been enabled in the analysis options file,
+- the declaration of a method or function doesn't have a return type, and
+- the return type can't be inferred.
+
+## Example
+
+Given an analysis options file containing the following:
+
+```yaml
+analyzer:
+  language:
+    strict-inference: true
+```
+
+The following code produces this diagnostic because the method `m` doesn't
+have a return type:
+
+```dart
+class C {
+  [!m!]() => 7;
+}
+```
+
+## Common fixes
+
+Add a return type to the method or function:
+
+```dart
+class C {
+  int m() => 7;
+}
+```

src/content/tools/diagnostics/inference_failure_on_uninitialized_variable.md

@@ -0,0 +1,43 @@
+---
+title: inference_failure_on_uninitialized_variable
+description: >-
+  Details about the inference_failure_on_uninitialized_variable
+  diagnostic produced by the Dart analyzer.
+underscore_breaker_titles: true
+body_class: highlight-diagnostics
+---
+
+_The type of {0} can't be inferred without either a type or initializer._
+
+## Description
+
+The analyzer produces this diagnostic when
+- the language option `strict-inference` has been enabled in the analysis options file,
+- the declaration of a variable doesn't have a type, and
+- the type of the variable can't be inferred.
+
+## Example
+
+Given an analysis options file containing the following:
+
+```yaml
+analyzer:
+  language:
+    strict-inference: true
+```
+
+The following code produces this diagnostic because the variable `s`
+doesn't have an explicit type and the type can't be inferred because
+there's no initializer:
+
+```dart
+var [!s!];
+```
+
+## Common fixes
+
+Add an explicit type:
+
+```dart
+String? s;
+```

src/content/tools/diagnostics/inference_failure_on_untyped_parameter.md

@@ -0,0 +1,45 @@
+---
+title: inference_failure_on_untyped_parameter
+description: >-
+  Details about the inference_failure_on_untyped_parameter
+  diagnostic produced by the Dart analyzer.
+underscore_breaker_titles: true
+body_class: highlight-diagnostics
+---
+
+_The type of {0} can't be inferred; a type must be explicitly provided._
+
+## Description
+
+The analyzer produces this diagnostic when
+- the language option `strict-inference` has been enabled in the analysis options file,
+- the declaration of a formal parameter doesn't have a type, and
+- the type of the parameter can't be inferred.
+
+The type of a parameter of a method can be inferred if the method
+overrides an inherited method.
+
+## Example
+
+Given an analysis options file containing the following:
+
+```yaml
+analyzer:
+  language:
+    strict-inference: true
+```
+
+The following code produces this diagnostic because the formal parameter
+`p` doesn't have an explicit type and the type can't be inferred:
+
+```dart
+void f([!p!]) => print(p);
+```
+
+## Common fixes
+
+Add an explicit type:
+
+```dart
+void f(int p) => print(p);
+```