Delay span bug when failing to normalize negative coherence impl subject due to other malformed impls

This commit is contained in:
Michael Goulet 2022-08-13 22:04:50 +00:00
parent 75b7e52e92
commit c436930f91
5 changed files with 66 additions and 1 deletions

View file

@ -307,7 +307,13 @@ fn negative_impl<'cx, 'tcx>(
tcx.impl_subject(impl1_def_id),
) {
Ok(s) => s,
Err(err) => bug!("failed to fully normalize {:?}: {:?}", impl1_def_id, err),
Err(err) => {
tcx.sess.delay_span_bug(
tcx.def_span(impl1_def_id),
format!("failed to fully normalize {:?}: {:?}", impl1_def_id, err),
);
return false;
}
};
// Attempt to prove that impl2 applies, given all of the above.