Add links from static analysis messages to diagnostic-messages?

[kwalrath]

https://dart.dev/guides/language/sound-problems lists some static analysis messages. We used to auto-include them, but as of 2.9, we can't ignore errors (dart-lang/sdk#42977), so we now avoid testing known bad code (#2575) and can't auto-include the messages.

To compensate a bit, we could link from the message in sound-problems to the message's entry in https://dart.dev/tools/diagnostic-messages. That way we could provide some more info and (if the message name changes) provide a way to find the new message.

/cc @bwilkerson @theacodes @johnpryan

[parlough]

I was thinking this would be a great addition to provide more context, even though code excerpts are working for these errors now.

Do you think these should be naturally incorporated into the text or consistently outlined separately from the pre-existing text?

[kwalrath]

Do you think these should be naturally incorporated into the text or consistently outlined separately from the pre-existing text?

If we're going to have literal output, I think it should be consistently separate from the explanatory (normal) text.

[atsansone]

@MaryaBelanger : Is this on your plan for updating the diagnostic messages?

[parlough]

This is more related to future type system work since I imagine this article might get reworked or replaced in that.