diff options
| author | lcnr <rust@lcnr.de> | 2022-10-18 16:09:04 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2022-10-18 16:09:04 +0200 |
| commit | 660ca4804175e6220a2284b8e7441aacf10367dd (patch) | |
| tree | fdc2cb43fd7135d5de7627e6f2246a42591d228c /compiler/rustc_hir_analysis/src/check/dropck.rs | |
| parent | 98a5ac269cffada469753ad2416717e251863f9a (diff) | |
| download | rust-660ca4804175e6220a2284b8e7441aacf10367dd.tar.gz rust-660ca4804175e6220a2284b8e7441aacf10367dd.zip | |
change `ConstEvaluatable` to use `ty::Const`
Diffstat (limited to 'compiler/rustc_hir_analysis/src/check/dropck.rs')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/check/dropck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_analysis/src/check/dropck.rs b/compiler/rustc_hir_analysis/src/check/dropck.rs index e5b212eb757..ca5ea7d053a 100644 --- a/compiler/rustc_hir_analysis/src/check/dropck.rs +++ b/compiler/rustc_hir_analysis/src/check/dropck.rs @@ -198,7 +198,7 @@ fn ensure_drop_predicates_are_implied_by_item_defn<'tcx>( ( ty::PredicateKind::ConstEvaluatable(a), ty::PredicateKind::ConstEvaluatable(b), - ) => tcx.try_unify_abstract_consts(self_param_env.and((a, b))), + ) => relator.relate(predicate.rebind(a), predicate.rebind(b)).is_ok(), ( ty::PredicateKind::TypeOutlives(ty::OutlivesPredicate(ty_a, lt_a)), ty::PredicateKind::TypeOutlives(ty::OutlivesPredicate(ty_b, lt_b)), |