Searching in compiler/rustc_const_eval