Solver error message: suggest cabal update #9255
Description
Describe the feature request
When the solver fails because a constraint requires a version that is strictly newer than all the available versions, suggest that the user might need to run cabal update.
Additional context
It's obviously hard for cabal to ever know that we're missing a package version, but this situation is pretty suggestive.
Example of a confused user: haskell/haskell-language-server#3771 (comment)