Searching in compiler/rustc_trait_selection/src/solve/inspect