Update dependencies (rustc nightly-2023-02-01, viper v-2023-01-31-0912)#1304

Aurel300 merged 1 commit intomasterviperproject/prusti-dev:masterfrom

auto-update-nightly-2023-02-01viperproject/prusti-dev:auto-update-nightly-2023-02-01Copy head branch name to clipboard