Module rustc_type_ir::search_graph::validate