diff options
| author | Matthew Jasper <mjjasper1@gmail.com> | 2020-07-22 22:43:18 +0100 |
|---|---|---|
| committer | Matthew Jasper <mjjasper1@gmail.com> | 2020-10-06 11:19:31 +0100 |
| commit | bc08b791bce1c5b31052da5dfda74302b6f61a99 (patch) | |
| tree | 3b914ec159f4221ef06c76f3f74d5fd25fbdf00f /compiler/rustc_traits | |
| parent | f52b2d88903036beb0533b04011064575b3abd36 (diff) | |
| download | rust-bc08b791bce1c5b31052da5dfda74302b6f61a99.tar.gz rust-bc08b791bce1c5b31052da5dfda74302b6f61a99.zip | |
Fix bugs in evaluating WellFormed predicates
- List the nestsed obligations in an order that works with the single pass used by evaluation - Propagate recursion depth correctly
Diffstat (limited to 'compiler/rustc_traits')
| -rw-r--r-- | compiler/rustc_traits/src/implied_outlives_bounds.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_traits/src/implied_outlives_bounds.rs b/compiler/rustc_traits/src/implied_outlives_bounds.rs index 79308b032ec..bc5c07fce04 100644 --- a/compiler/rustc_traits/src/implied_outlives_bounds.rs +++ b/compiler/rustc_traits/src/implied_outlives_bounds.rs @@ -61,8 +61,8 @@ fn compute_implied_outlives_bounds<'tcx>( // than the ultimate set. (Note: normally there won't be // unresolved inference variables here anyway, but there might be // during typeck under some circumstances.) - let obligations = - wf::obligations(infcx, param_env, hir::CRATE_HIR_ID, arg, DUMMY_SP).unwrap_or(vec![]); + let obligations = wf::obligations(infcx, param_env, hir::CRATE_HIR_ID, 0, arg, DUMMY_SP) + .unwrap_or(vec![]); // N.B., all of these predicates *ought* to be easily proven // true. In fact, their correctness is (mostly) implied by |