Searching in compiler/rustc_middle/src/infer