Rollup merge of #123673 - oli-obk:sig_wfcheck_ice, r=jieyouxu,estebank

Don't ICE for kind mismatches during error rendering

fixes #123457

also some test suite cleanups to make backtraces easier to read
This commit is contained in:
Guillaume Gomez
2024-04-17 00:00:22 +02:00
committed by GitHub
5 changed files with 72 additions and 3 deletions

View File

@@ -1977,6 +1977,9 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
for (obligation_arg, impl_arg) in
std::iter::zip(obligation_trait_ref.args, impl_trait_ref.args)
{
if (obligation_arg, impl_arg).references_error() {
return false;
}
if let Err(terr) =
ocx.eq(&ObligationCause::dummy(), param_env, impl_arg, obligation_arg)
{