diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2022-06-23 16:35:47 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2022-06-23 16:35:47 -0400 |
| commit | 27e0f7a8864ebd64eda4737f74b1324a98da2e95 (patch) | |
| tree | b4b038766d8f8ab2068a4da29595304c8219b2a7 /compiler/rustc_borrowck | |
| parent | 893b919e64b59c04dbd7c88e74ba138ff8e22a64 (diff) | |
| download | rust-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.rs | 8 |
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, |
