bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Make hitting the recursion limit in projection non-fatal

Browse source 
This is relied on by wundergraph.
This commit is contained in:
Matthew Jasper 2021-01-15 20:45:38 +00:00
parent e48eb37b94
commit 5db5d8f87e
4 changed files with 63 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/rustc_trait_selection/src/traits/project.rs
View file

@ -736,14 +736,9 @@ fn project_type<'cx, 'tcx>(
if !selcx.tcx().sess.recursion_limit().value_within_limit(obligation.recursion_depth) {
debug!("project: overflow!");
match selcx.query_mode() {
super::TraitQueryMode::Standard => {
selcx.infcx().report_overflow_error(&obligation, true);
}
super::TraitQueryMode::Canonical => {
return Err(ProjectionTyError::TraitSelectionError(SelectionError::Overflow));
}
}
// This should really be an immediate error, but some existing code
// relies on being able to recover from this.
return Err(ProjectionTyError::TraitSelectionError(SelectionError::Overflow));
}
let obligation_trait_ref = &obligation.predicate.trait_ref(selcx.tcx());