tree 97f8ba39c10f9536a8d035ceda7e1ed419ce3ae0
parent 76e41bc4c5d0edba398956c1438770128735e9c6
author Paul Berry <paulberry@google.com> 1617295332 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1617295332 +0000

Add links to "why not promoted" error messages.

These links are not live yet, but they will be filled in with
documentation explaining subtleties of type promotion in more detail.

Bug: https://github.com/dart-lang/sdk/issues/44900
Change-Id: I3e1865597fc5c56495a8108c8a4de98cab0c3e4b
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/193749
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>