Do not report overflow error.

This commit is contained in:
Camille GILLOT 2022-04-30 22:02:11 +02:00
parent 6b348257a1
commit 69e5b2fde0

View file

@ -432,6 +432,9 @@ pub fn impossible_predicates<'tcx>(
debug!("impossible_predicates(predicates={:?})", predicates);
let result = tcx.infer_ctxt().enter(|infcx| {
// HACK: Set tainted by errors to gracefully exit in case of overflow.
infcx.set_tainted_by_errors();
let param_env = ty::ParamEnv::reveal_all();
let mut selcx = SelectionContext::new(&infcx);
let mut fulfill_cx = FulfillmentContext::new();