SolverDelegate add assoc type for Infcx

Author: lcnr

compiler/rustc_next_trait_solver/src/delegate.rs

@@ -4,9 +4,8 @@ use rustc_type_ir::fold::TypeFoldable;
 use rustc_type_ir::solve::{Certainty,Goal,NoSolution,SolverMode};
 use rustc_type_ir::{selfas ty,InferCtxtLike,Interner};
 
-pubtraitSolverDelegate:
-Deref<Target:InferCtxtLike<Interner = <SelfasSolverDelegate>::Interner>> + Sized
-{
+pubtraitSolverDelegate:Deref<Target = <SelfasSolverDelegate>::Infcx> + Sized{
+typeInfcx:InferCtxtLike<Interner = <SelfasSolverDelegate>::Interner>;
 typeInterner:Interner;
 fncx(&self) -> Self::Interner{
 (**self).cx()

compiler/rustc_trait_selection/src/solve/delegate.rs

@@ -36,6 +36,7 @@ impl<'tcx> Deref for SolverDelegate<'tcx> {
 }
 
 impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegateforSolverDelegate<'tcx>{
+typeInfcx = InferCtxt<'tcx>;
 typeInterner = TyCtxt<'tcx>;
 
 fncx(&self) -> TyCtxt<'tcx>{