Searching in compiler/rustc_infer/src/traits