prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard

Can't use it w/ virtual workspace w/ resolver 3 or 2024 edition

Open joaoantoniocardoso opened this issue 6 months ago • 1 comments

My workspace Cargo.toml has:

#[...]
[workspace]
resolver = "3"

[workspace.package]
edition = "2024"
#[...]

The error:

┌──── Begin stderr ────┐
error: failed to parse manifest at `/project/backend/bin/Cargo.toml`

Caused by:
  error inheriting `version` from workspace root manifest's `workspace.package.version`

Caused by:
  failed to parse manifest at `/project/Cargo.toml`

Caused by:
  `resolver` setting `3` is not valid, valid options are "1" or "2"

└──── End stderr ──────┘
Exit code 101, signal null.
Error while running Prusti: SyntaxError: Unexpected end of JSON input

Thanks

joaoantoniocardoso avatar Aug 18 '25 15:08 joaoantoniocardoso

I have the edition issue as well:

Caused by:
  this version of Cargo is older than the `2024` edition, and only supports `2015`, `2018`, and `2021` editions.

hoijui avatar Nov 16 '25 09:11 hoijui