Searching in src/doc/rustc-dev-guide