about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2022-06-23 16:35:47 -0400
committerNiko Matsakis <niko@alum.mit.edu>2022-06-23 16:35:47 -0400
commit27e0f7a8864ebd64eda4737f74b1324a98da2e95 (patch)
treeb4b038766d8f8ab2068a4da29595304c8219b2a7 /compiler/rustc_borrowck
parent893b919e64b59c04dbd7c88e74ba138ff8e22a64 (diff)
downloadrust-27e0f7a8864ebd64eda4737f74b1324a98da2e95.tar.gz
rust-27e0f7a8864ebd64eda4737f74b1324a98da2e95.zip
rename IfEqBound to IfEq
Diffstat (limited to 'compiler/rustc_borrowck')
-rw-r--r--compiler/rustc_borrowck/src/region_infer/mod.rs8
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/rustc_borrowck/src/region_infer/mod.rs b/compiler/rustc_borrowck/src/region_infer/mod.rs
index 56045166060..d45cdc0c990 100644
--- a/compiler/rustc_borrowck/src/region_infer/mod.rs
+++ b/compiler/rustc_borrowck/src/region_infer/mod.rs
@@ -1191,8 +1191,8 @@ impl<'tcx> RegionInferenceContext<'tcx> {
         debug!("eval_verify_bound(lower_bound={:?}, verify_bound={:?})", lower_bound, verify_bound);
 
         match verify_bound {
-            VerifyBound::IfEqBound(verify_if_eq_b) => {
-                self.eval_if_eq_bound(infcx, param_env, generic_ty, lower_bound, *verify_if_eq_b)
+            VerifyBound::IfEq(verify_if_eq_b) => {
+                self.eval_if_eq(infcx, param_env, generic_ty, lower_bound, *verify_if_eq_b)
             }
 
             VerifyBound::IsEmpty => {
@@ -1229,7 +1229,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
         }
     }
 
-    fn eval_if_eq_bound(
+    fn eval_if_eq(
         &self,
         infcx: &InferCtxt<'_, 'tcx>,
         param_env: ty::ParamEnv<'tcx>,
@@ -1239,7 +1239,7 @@ impl<'tcx> RegionInferenceContext<'tcx> {
     ) -> bool {
         let generic_ty = self.normalize_to_scc_representatives(infcx.tcx, generic_ty);
         let verify_if_eq_b = self.normalize_to_scc_representatives(infcx.tcx, verify_if_eq_b);
-        match test_type_match::extract_verify_if_eq_bound(
+        match test_type_match::extract_verify_if_eq(
             infcx.tcx,
             param_env,
             &verify_if_eq_b,