about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNicholas Nethercote <n.nethercote@gmail.com>2024-10-07 14:34:47 +1100
committerNicholas Nethercote <n.nethercote@gmail.com>2024-11-04 17:36:25 +1100
commite23bdd68f989a34a150aaeba2eaec0062a11332f (patch)
tree8585ada5c1bc47c04f84ec406a0adbf7aa88376c
parent7901c03d2d697a379cf0962987779c06a1480100 (diff)
downloadrust-e23bdd68f989a34a150aaeba2eaec0062a11332f.tar.gz
rust-e23bdd68f989a34a150aaeba2eaec0062a11332f.zip
Remove `ToUniverseInfo` impl for `CanonicalQueryInput<CustomTypeOp>`.
It's unused.
-rw-r--r--compiler/rustc_borrowck/src/diagnostics/bound_region_errors.rs9
1 files changed, 0 insertions, 9 deletions
diff --git a/compiler/rustc_borrowck/src/diagnostics/bound_region_errors.rs b/compiler/rustc_borrowck/src/diagnostics/bound_region_errors.rs
index 4f2b9e0bfe5..0897d140d60 100644
--- a/compiler/rustc_borrowck/src/diagnostics/bound_region_errors.rs
+++ b/compiler/rustc_borrowck/src/diagnostics/bound_region_errors.rs
@@ -3,7 +3,6 @@ use std::rc::Rc;
 
 use rustc_errors::Diag;
 use rustc_hir::def_id::LocalDefId;
-use rustc_infer::infer::canonical::CanonicalQueryInput;
 use rustc_infer::infer::region_constraints::{Constraint, RegionConstraintData};
 use rustc_infer::infer::{
     InferCtxt, RegionResolutionError, RegionVariableOrigin, SubregionOrigin, TyCtxtInferExt as _,
@@ -21,7 +20,6 @@ use rustc_span::Span;
 use rustc_trait_selection::error_reporting::InferCtxtErrorExt;
 use rustc_trait_selection::error_reporting::infer::nice_region_error::NiceRegionError;
 use rustc_trait_selection::traits::ObligationCtxt;
-use rustc_trait_selection::traits::query::type_op;
 use rustc_traits::{type_op_ascribe_user_type_with_span, type_op_prove_predicate_with_cause};
 use tracing::{debug, instrument};
 
@@ -117,13 +115,6 @@ impl<'tcx> ToUniverseInfo<'tcx> for CanonicalTypeOpAscribeUserTypeGoal<'tcx> {
     }
 }
 
-impl<'tcx, F> ToUniverseInfo<'tcx> for CanonicalQueryInput<'tcx, type_op::custom::CustomTypeOp<F>> {
-    fn to_universe_info(self, _base_universe: ty::UniverseIndex) -> UniverseInfo<'tcx> {
-        // We can't rerun custom type ops.
-        UniverseInfo::other()
-    }
-}
-
 impl<'tcx> ToUniverseInfo<'tcx> for ! {
     fn to_universe_info(self, _base_universe: ty::UniverseIndex) -> UniverseInfo<'tcx> {
         self