NonOptionalUnwrapFailure::diagnoseAsError
Diagnostics can outlive the ConstraintSystem itself if we have a diagnostic transaction for e.g `typeCheckParameterDefault`, make sure we don't try to use a solver-allocated type as an argument.
