@@ -3,7 +3,6 @@ use std::rc::Rc;
33
44use rustc_errors:: Diag ;
55use rustc_hir:: def_id:: LocalDefId ;
6- use rustc_infer:: infer:: canonical:: CanonicalQueryInput ;
76use rustc_infer:: infer:: region_constraints:: { Constraint , RegionConstraintData } ;
87use rustc_infer:: infer:: {
98 InferCtxt , RegionResolutionError , RegionVariableOrigin , SubregionOrigin , TyCtxtInferExt as _,
@@ -21,7 +20,6 @@ use rustc_span::Span;
2120use rustc_trait_selection:: error_reporting:: InferCtxtErrorExt ;
2221use rustc_trait_selection:: error_reporting:: infer:: nice_region_error:: NiceRegionError ;
2322use rustc_trait_selection:: traits:: ObligationCtxt ;
24- use rustc_trait_selection:: traits:: query:: type_op;
2523use rustc_traits:: { type_op_ascribe_user_type_with_span, type_op_prove_predicate_with_cause} ;
2624use tracing:: { debug, instrument} ;
2725
@@ -117,13 +115,6 @@ impl<'tcx> ToUniverseInfo<'tcx> for CanonicalTypeOpAscribeUserTypeGoal<'tcx> {
117115 }
118116}
119117
120- impl < ' tcx , F > ToUniverseInfo < ' tcx > for CanonicalQueryInput < ' tcx , type_op:: custom:: CustomTypeOp < F > > {
121- fn to_universe_info ( self , _base_universe : ty:: UniverseIndex ) -> UniverseInfo < ' tcx > {
122- // We can't rerun custom type ops.
123- UniverseInfo :: other ( )
124- }
125- }
126-
127118impl < ' tcx > ToUniverseInfo < ' tcx > for ! {
128119 fn to_universe_info ( self , _base_universe : ty:: UniverseIndex ) -> UniverseInfo < ' tcx > {
129120 self
0 commit comments