Remember to replace ICE with some form of warning

This commit is contained in:
Dylan MacKenzie 2019-09-20 08:50:39 -07:00
parent f2ff425622
commit e296436ee0

View file

@ -1021,10 +1021,12 @@ impl<'a, 'tcx> Checker<'a, 'tcx> {
// FIXME: each checker sometimes emits the same error with the same span twice in a row.
self.errors.dedup();
new_errors.dedup();
// FIXME: Downgrade this to a warning.
if self.errors != new_errors {
error!("old validator: {:?}", self.errors);
error!("new validator: {:?}", new_errors);
panic!("disagreement between validators:");
panic!("disagreement between validators.");
}
}