Expand description
Handling of trait solver errors and converting them to errors hir can pass to ide-diagnostics.
Note that we also have crate::next_solver::infer::errors, which takes the raw NextSolverError,
and converts it into FulfillmentError that contains more details.