add fixme

This commit is contained in:
Deadbeef 2023-07-04 14:08:53 +00:00
parent 58c105af04
commit 25fc6c1586
1 changed files with 1 additions and 0 deletions

View File

@ -789,6 +789,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
self.register_predicates(obligations);
}
Err(e) => {
// FIXME(effects): better diagnostic
self.err_ctxt().report_mismatched_consts(&cause, effect, param, e).emit();
}
}