INNER CODE UNIT · Rust

config

willcrichton/flowistry · crates/flowistry_ifc/src/lib.rs:81

  fn config(&mut self, config: &mut rustc_interface::Config) {
    borrowck_facts::enable_mir_simplification();
    config.override_queries = Some(borrowck_facts::override_queries);
  }

  fn after_analysis(
    &mut self,
    _compiler: &rustc_interface::interface::Compiler,
    tcx: TyCtxt,
  ) -> rustc_driver::Compilation {
    let mut visitor = IfcVisitor {
      tcx,
      issue_found: IssueFound::No,
    };
    tcx.hir_visit_all_item_likes_in_crate(&mut visitor);

    if let IssueFound::No = visitor.issue_found {
      let mut stdout = StandardStream::stderr(ColorChoice::Auto);

View source record →