Searching in compiler/rustc_next_trait_solver/src/solve/eval_ctxt