Merge #1089

1089: Update dependencies (rustc nightly-2022-07-15, viper v-2022-07-01-0736) r=Aurel300 a=viper-admin

* [x] Update Viper version to `v-2022-07-01-0736`.
* [x] Update rustc version to `nightly-2022-07-15`.
* [x] Run `cargo audit` and fix the issues.
* [x] Manualy update outdated dependencies (see the list below).
* [x] Manualy run `cargo update`.

<details><summary>List of direct outdated dependencies:</summary>

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

info: syncing channel updates for 'nightly-2022-07-15-x86_64-unknown-linux-gnu'
info: latest update on 2022-07-15, rust version 1.64.0-nightly (c2f428d2f 2022-07-14)
info: downloading component 'cargo'
info: downloading component 'clippy'
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 'clippy'
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.137  ---     1.0.139  Normal  ---

prusti
================
Name   Project  Compat  Latest  Kind    Platform
----   -------  ------  ------  ----    --------
regex  1.5.6    ---     1.6.0   Normal  ---

prusti-common
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
regex  1.5.6    ---     1.6.0    Normal  ---
serde  1.0.137  ---     1.0.139  Normal  ---

prusti-launch
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
serde  1.0.137  ---     1.0.139  Normal  ---

viper
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
serde  1.0.137  ---     1.0.139  Normal  ---
tokio  1.19.2   ---     1.20.0   Normal  ---

viper-sys
================
Name  Project  Compat  Latest  Kind   Platform
----  -------  ------  ------  ----   --------
ureq  2.4.0    ---     2.5.0   Build  ---

vir
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
regex  1.5.6    ---     1.6.0    Normal  ---
serde  1.0.137  ---     1.0.139  Normal  ---

prusti-specs
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
serde  1.0.137  ---     1.0.139  Normal  ---

prusti-interface
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
regex  1.5.6    ---     1.6.0    Normal  ---
serde  1.0.137  ---     1.0.139  Normal  ---

prusti-viper
================
Name       Project  Compat  Latest   Kind    Platform
----       -------  ------  ------   ----    --------
backtrace  0.3.65   ---     0.3.66   Normal  ---
regex      1.5.6    ---     1.6.0    Normal  ---
serde      1.0.137  ---     1.0.139  Normal  ---

prusti-server
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
clap   3.2.8    ---     3.2.12   Normal  ---
serde  1.0.137  ---     1.0.139  Normal  ---
tokio  1.19.2   ---     1.20.0   Normal  ---

test-crates
================
Name   Project  Compat  Latest   Kind    Platform
----   -------  ------  ------   ----    --------
clap   3.2.8    ---     3.2.12   Normal  ---
serde  1.0.137  ---     1.0.139  Normal  ---

systest
================
Name  Project  Compat  Latest  Kind   Platform
----  -------  ------  ------  ----   --------
ureq  2.4.0    ---     2.5.0   Build  ---
```
</details>

`@Aurel300` could you take care of this?

Co-authored-by: Aurel Bílý <[email protected]>

Author: bors[bot]

Cargo.lock

@@ -82,7 +82,7 @@ pub trait FixpointEngine<'mir, 'tcx: 'mir> {
                 self.new_bottom()
             };
 
-            for &pred_bb in &mir.predecessors()[bb] {
+            for &pred_bb in &mir.basic_blocks.predecessors()[bb] {
                 if let Some(map) = p_state.lookup_after_block(pred_bb) {
                     // map should contain bb, because we ensure that we have a state for every
                     // successor