From 8badab32f0464391393ffef3bd869bda7b75d37b Mon Sep 17 00:00:00 2001 From: Vytautas Astrauskas Date: Sat, 17 Jul 2021 14:53:10 +0200 Subject: [PATCH] Update Rustc version to 2021-07-17. --- prusti-tests/tests/cargo_verify/failing_crate/output.stderr | 6 +----- prusti-tests/tests/cargotest.rs | 6 +----- rust-toolchain | 2 +- 3 files changed, 3 insertions(+), 11 deletions(-) diff --git a/prusti-tests/tests/cargo_verify/failing_crate/output.stderr b/prusti-tests/tests/cargo_verify/failing_crate/output.stderr index 5990d8760e0..d22d7f2d125 100644 --- a/prusti-tests/tests/cargo_verify/failing_crate/output.stderr +++ b/prusti-tests/tests/cargo_verify/failing_crate/output.stderr @@ -12,8 +12,4 @@ note: the failing assertion is here 3 | #[requires(x > 999)] | ^^^^^^^ -error: aborting due to previous error - -error: could not compile `failing_crate` - -To learn more, run the command again with --verbose. +error: could not compile `failing_crate` due to previous error diff --git a/prusti-tests/tests/cargotest.rs b/prusti-tests/tests/cargotest.rs index e28270bf3ec..be1d82ce251 100644 --- a/prusti-tests/tests/cargotest.rs +++ b/prusti-tests/tests/cargotest.rs @@ -65,11 +65,7 @@ fn simple_assert_false() { | = note: this error originates in the macro `assert` (in Nightly builds, run with -Z macro-backtrace for more info) -[ERROR] aborting due to previous error - -[ERROR] could not compile `foo` - -To learn more, run the command again with --verbose. +error: could not compile `foo` due to previous error ", ) .run(); diff --git a/rust-toolchain b/rust-toolchain index 59da8332102..d77b5a3073f 100644 --- a/rust-toolchain +++ b/rust-toolchain @@ -1,4 +1,4 @@ [toolchain] -channel = "nightly-2021-07-15" +channel = "nightly-2021-07-17" components = [ "rustc-dev", "llvm-tools-preview" ] profile = "minimal"