Update rustc to nightly-2025-08-20

Cargo.toml

@@ -6,9 +6,9 @@ resolver = "2"
 [workspace.dependencies]
 log = "0.4"
 anyhow = "1.0.75"
-serde = { version = "1.0.192", features = ["derive"] }
+serde = { version = "1.0.217", features = ["derive"] }
 serde_json = "1.0.108"
-rustc_utils = { version = "=0.13.0-nightly-2025-03-03", features = ["serde"] }
+rustc_utils = "=0.14.0-nightly-2025-08-20"
 fluid-let = "1.0.0"
 itertools = "0.14.0"
 

README.md

@@ -23,7 +23,17 @@ Argus is available as a VSCode extension. You can install Argus from the [VSCode
 
 ### Building from source
 
-Some additional software is needed to build Argus from source. For the TypeScript bindings, you need to install the language [Guile](https://www.gnu.org/software/guile/) and [`cargo-make`](https://github.com/sagiegurari/cargo-make). The IDE requires [Depot](https://github.com/cognitive-engineering-lab/depot). Afterward run
+Some additional software is needed to build Argus from source. For the TypeScript bindings, you need to install the language [Guile](https://www.gnu.org/software/guile/) and [`cargo-make`](https://github.com/sagiegurari/cargo-make).
+
+The IDE requires [Depot](https://github.com/cognitive-engineering-lab/depot).
+Note that the released Depot version has a bug which prevents its usage. We recommend using [3676b134](https://github.com/cognitive-engineering-lab/depot/commit/3676b134767aba6a951ed5fdaa9e037255921475), i.e.
+
+```sh
+cargo install --locked --git https://github.com/cognitive-engineering-lab/depot --rev 3676b134767aba6a951ed5fdaa9e037255921475
+```
+
+You also need [biome](https://biomejs.dev/guides/manual-installation/) installed manually at version 1.9.4, and available in your path (see [#64](https://github.com/cognitive-engineering-lab/argus/pull/64)).
+Afterward run:
 
 ```sh
 cargo make init-bindings
@@ -42,7 +52,7 @@ If rustup fails, especially with an error like "could not rename the downloaded
 To solve the issue, go to the command line and run:
 
 ```bash
-rustup toolchain install nightly-2025-03-03 -c rust-src -c rustc-dev -c llvm-tools-preview
+rustup toolchain install nightly-2025-08-20 -c rust-src -c rustc-dev -c llvm-tools-preview
 ```
 
 Then go back to VSCode and click "Continue" to let Argus continue installing.

crates/argus-cli/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "argus-cli"
-version = "0.1.19"
-edition = "2021"
+version = "0.1.20"
+edition = "2024"
 authors = ["Gavin Gray <gavinleroy6@gmail.com>"]
 repository = "https://github.com/cognitive-engineering-lab/argus"
 description = "Trait debugger backend for IDE interactions."
@@ -10,9 +10,9 @@ license = "MIT"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-argus-lib = { version = "0.1.19", path = "../argus" }
-argus-ext = { version = "0.1.19", path = "../argus-ext" }
-rustc_plugin = "=0.13.0-nightly-2025-03-03"
+argus-lib = { version = "0.1.20", path = "../argus" }
+argus-ext = { version = "0.1.20", path = "../argus-ext" }
+rustc_plugin = "=0.14.0-nightly-2025-08-20"
 
 rustc_utils.workspace = true
 log.workspace = true

crates/argus-cli/src/plugin.rs

@@ -281,7 +281,7 @@ impl<A: ArgusAnalysis, T: ToTarget, F: FnOnce() -> Option<T>>
     }
 
     config.psess_created = Some(Box::new(|sess| {
-      sess.dcx().make_silent(None, false);
+      sess.dcx().make_silent();
     }));
   }
 

crates/argus-cli/tests/test_examples.rs

@@ -6,7 +6,7 @@ use std::{
   sync::Once,
 };
 
-use anyhow::{ensure, Context, Result};
+use anyhow::{Context, Result, ensure};
 
 static SETUP: Once = Once::new();
 

crates/argus-cli/tests/workspaces/axum/Cargo.toml

@@ -1,8 +1,8 @@
 [package]
 name = "axum-tests"
 version = "0.0.1"
-authors = [ "gavinleroy <gavinleroy6@gmail.com>" ]
-edition = "2021"
+authors = ["gavinleroy <gavinleroy6@gmail.com>"]
+edition = "2024"
 
 [dependencies]
 axum = "0.7"