[Merged by Bors] - Update dependencies (rustc nightly-2022-05-01, viper v.22.04.17-release)

[viper-admin]

• Update Viper version to v.22.04.17-release.
• Update rustc version to nightly-2022-05-01.
• Manualy update outdated dependencies (see the list below).
• Manualy run cargo update.

List of direct outdated dependencies:

$ cargo outdated --root-deps-only --workspace

info: syncing channel updates for 'nightly-2022-05-01-x86_64-unknown-linux-gnu'
info: latest update on 2022-05-01, rust version 1.62.0-nightly (7c4b47696 2022-04-30)
info: downloading component 'cargo'
info: downloading component 'llvm-tools-preview'
info: downloading component 'rust-std'
info: downloading component 'rustc'
info: downloading component 'rustc-dev'
info: downloading component 'rustfmt'
info: installing component 'cargo'
info: installing component 'llvm-tools-preview'
info: installing component 'rust-std'
info: installing component 'rustc'
info: installing component 'rustc-dev'
info: installing component 'rustfmt'
    Updating git repository `https://github.com/rust-lang/cargo.git`
analysis
================
Name        Project  Compat  Latest   Kind    Platform
----        -------  ------  ------   ----    --------
serde       1.0.136  ---     1.0.137  Normal  ---
serde_json  1.0.79   ---     1.0.80   Normal  ---
syn         1.0.91   ---     1.0.92   Normal  ---

prusti-common
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
serde  1.0.136  ---     1.0.137  Normal  ---
uuid   0.8.2    ---     1.0.0    Normal  ---

viper
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
serde  1.0.136  ---     1.0.137  Normal  ---
uuid   0.8.2    ---     1.0.0    Normal  ---

vir
================
Name       Project  Compat  Latest   Kind    Platform
----       -------  ------  ------   ----    --------
serde      1.0.136  ---     1.0.137  Normal  ---
syn        1.0.91   ---     1.0.92   Normal  ---
thiserror  1.0.30   ---     1.0.31   Normal  ---
uuid       0.8.2    ---     1.0.0    Normal  ---

vir-gen
================
Name  Project  Compat  Latest  Kind    Platform
----  -------  ------  ------  ----    --------
syn   1.0.91   ---     1.0.92  Normal  ---

prusti-contracts
================
Name      Project  Compat  Latest  Kind         Platform
----      -------  ------  ------  ----         --------
trybuild  1.0.59   ---     1.0.61  Development  ---

prusti-specs
================
Name        Project  Compat  Latest   Kind    Platform
----        -------  ------  ------   ----    --------
serde       1.0.136  ---     1.0.137  Normal  ---
serde_json  1.0.79   ---     1.0.80   Normal  ---
syn         1.0.91   ---     1.0.92   Normal  ---
uuid        0.8.2    ---     1.0.0    Normal  ---

prusti-interface
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
serde  1.0.136  ---     1.0.137  Normal  ---

prusti-viper
================
Name       Project  Compat  Latest   Kind    Platform
----       -------  ------  ------   ----    --------
backtrace  0.3.64   ---     0.3.65   Normal  ---
serde      1.0.136  ---     1.0.137  Normal  ---

prusti-server
================
Name     Project  Compat  Latest   Kind    Platform
----     -------  ------  ------   ----    --------
clap     3.1.8    ---     3.1.14   Normal  ---
reqwest  0.10.10  ---     0.11.10  Normal  ---
serde    1.0.136  ---     1.0.137  Normal  ---
tokio    0.2.25   ---     1.18.0   Normal  ---
warp     0.2.5    ---     0.3.2    Normal  ---

prusti-launch
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
ctrlc  3.2.1    ---     3.2.2    Normal  ---
nix    0.23.1   ---     0.24.1   Normal  cfg(unix)
serde  1.0.136  ---     1.0.137  Normal  ---

test-crates
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
clap   3.1.8    ---     3.1.14   Normal  ---
serde  1.0.136  ---     1.0.137  Normal  ---

@JonasAlaif could you take care of this?

[JonasAlaif]

Still fails to compile at this line:

prusti-dev/prusti-interface/src/environment/traits/rustc_codegen.rs

Line 110 in 726aa1a

let _opaque_types = infcx.inner.borrow_mut().opaque_type_storage.take_opaque_types();

Commenting it out makes things work, but I'm not sure that's the correct solution

[JonasAlaif]

Also unclear why the CI doesn't use the same compiler version as the one that succesfully compiles locally for me? From the docs of the latest docs it seems that the CI version is outdated

[fpoli]

I believe the upgrade of hyper is still blocked by rust-lang/rust#82151 and hyperium/hyper#2685. We should open an issue in our tracker and label it with pending-on-external to remember it.

[fpoli]

Also unclear why the CI doesn't use the same compiler version as the one that succesfully compiles locally for me? From the docs of the latest docs it seems that the CI version is outdated

Isn't it the other way around? CI complains that the code uses a non-existing .variants field and suggests to use the variants() method. The nightly version of the compiler indeed has the method but not the field, while the older stable version that you linked still has the variants field.

[fpoli]

Be aware that the Viper update brings the modifications to the position of some verification errors (viperproject/silver#560). So, Prusti should register verification errors on the expression of assert/exhale statement instead of registering the statement itself.

[JonasAlaif]

Also unclear why the CI doesn't use the same compiler version as the one that succesfully compiles locally for me? From the docs of the latest docs it seems that the CI version is outdated

Isn't it the other way around? CI complains that the code uses a non-existing .variants field and suggests to use the variants() method. The nightly version of the compiler indeed has the method but not the field, while the older stable version that you linked still has the variants field.

Cry... somehow when I was doing x.py build on my windows it doesn't pick up the rust-toolchain. I've essentially reverted the changes from the past few months (if we want a version of Prusti that works with stable ¯\_(ツ)_/¯).
I'll hard reset and try again now

[JonasAlaif]

I believe the upgrade of hyper is still blocked by rust-lang/rust#82151 and hyperium/hyper#2685. We should open an issue in our tracker and label it with pending-on-external to remember it.

What was the issue when you initially tried it? I've set tokio, etc. to the latest version and things seem to compile just fine locally - running the CI now to see if there are any issues there. Is it an issue that the CI wouldn't pick up?

[JonasAlaif]

@fpoli I've updated the version of warp/reqwest/tokio and things seem to work fine, are we ok to merge with the newest version?

[fpoli]

@fpoli I've updated the version of warp/reqwest/tokio and things seem to work fine, are we ok to merge with the newest version?

Nice! Sure

[vakaras]

LGTM. Is there anything else to do or can this be bors r+?

[JonasAlaif]

bors r+

[bors]

Pull request successfully merged into master.

Build succeeded:

• all-tests (macos-latest)
• all-tests (ubuntu-latest)
• all-tests (windows-latest)
• clippy-check
• fmt-check
• purification-tests
• test-crates