From e4e8a5c785458630c90787e01c221636ee098f57 Mon Sep 17 00:00:00 2001 From: Will Crichton Date: Sat, 26 Aug 2023 15:47:49 -0700 Subject: [PATCH] Fix benchmark --- README.md | 2 +- crates/flowistry/benches/main.rs | 2 +- crates/flowistry_ide/README.md | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index d546f09cf..d25fae98a 100644 --- a/README.md +++ b/README.md @@ -182,7 +182,7 @@ If rustup fails, especially with an error like "could not rename downloaded file To solve the issue, go to the command line and run: ``` -rustup toolchain install nightly-2023-04-12 -c rust-src -c rustc-dev -c llvm-tools-preview +rustup toolchain install nightly-2023-08-25 -c rust-src -c rustc-dev -c llvm-tools-preview ``` Then go back to VSCode and click "Continue" to let Flowistry continue installing. diff --git a/crates/flowistry/benches/main.rs b/crates/flowistry/benches/main.rs index fe083adf5..5a1cb5d31 100644 --- a/crates/flowistry/benches/main.rs +++ b/crates/flowistry/benches/main.rs @@ -13,7 +13,7 @@ use criterion::{ }; use flowistry::infoflow::Direction; use glob::glob; -use rustc_borrowck::BodyWithBorrowckFacts; +use rustc_borrowck::consumers::BodyWithBorrowckFacts; use rustc_hir::{BodyId, ItemKind}; use rustc_middle::{ mir::{Location, Place}, diff --git a/crates/flowistry_ide/README.md b/crates/flowistry_ide/README.md index 4ff685568..1f6775d96 100644 --- a/crates/flowistry_ide/README.md +++ b/crates/flowistry_ide/README.md @@ -108,9 +108,9 @@ If rustup fails, especially with an error like "could not rename downloaded file To solve the issue, go to the command line and run: ``` -rustup toolchain install nightly-2023-04-12 -c rust-src -c rustc-dev -c llvm-tools-preview +rustup toolchain install nightly-2023-08-25 -c rust-src -c rustc-dev -c llvm-tools-preview ``` -> Note: double check the value of "channel" in `rust-toolchain.toml` if `nightly-2023-04-12` is no longer correct. +> Note: double check the value of "channel" in `rust-toolchain.toml` if `nightly-2023-08-25` is no longer correct. Then go back to VSCode and click "Continue" to let Flowistry continue installing.