Update toolchain (#1124)

facebookexperimental · Jan 6, 2022 · 4fe7492 · 4fe7492
1 parent fc9be9d
commit 4fe7492
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 5 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/binaries/summary_store.tar b/binaries/summary_store.tar
diff --git a/checker/src/block_visitor.rs b/checker/src/block_visitor.rs
@@ -2254,7 +2254,6 @@ impl<'block, 'analysis, 'compilation, 'tcx> BlockVisitor<'block, 'analysis, 'com
         };
         let value = match null_op {
             mir::NullOp::AlignOf => alignment,
-            mir::NullOp::Box => unreachable!("NullOp::Box is no longer used"),
             mir::NullOp::SizeOf => len,
         };
         self.bv.update_value_at(path, value);

diff --git a/rust-toolchain b/rust-toolchain
@@ -1 +1 @@
-nightly-2022-01-01
+nightly-2022-01-06
diff --git a/validate.sh b/validate.sh
@@ -35,7 +35,6 @@ time cargo test
 
 # Install MIRAI into cargo so that we can use optimized binaries to analyze debug binaries built with special flags
 cargo uninstall mirai || true
-cargo uninstall cargo-mirai || true
 cargo install --path ./checker
 
 # Run mirai on itself (using the optimized build in cargo as the bootstrap).