Strict inference documentation uses obsolete example

[eernstg]

The documentation of the strict-inference static analysis option needs to be updated:

The section Example: Under-constrained generic method invocations explains that the following invocation of fold fails to infer safe types (and, consequently, it throws at run time):

void main() {
  var a = [1, 2, 3].fold(true, (s, x) => s + x);
}

However, the treatment of this invocation is quite different today because we now have horizontal inference. The typing is now safe, and the description of the run-time failure is wrong (and has been wrong since Dart 2.18).

[eernstg]

The document is in this repository, but I can't find a suitable 'area-...' label. @srawlins, perhaps you could give me a hint about how to classify this issue?

[srawlins]

I'm not familiar with labels in this repo. :/ Nothing jumps out at me.

[eernstg]

OK, thanks!