Move some InferCtxt methods to EvalCtxt in new solver
#108110
Merged
InferCtxt methods to EvalCtxt in new solver
#108110