From af239f86b88e282d7c3cb8a7be2d1c03da585e85 Mon Sep 17 00:00:00 2001 From: Auca Maillot Date: Wed, 10 Dec 2025 20:52:16 -0300 Subject: [PATCH 1/2] update rust-toolchain to 1.90 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index e2fad99..842865c 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -4,4 +4,4 @@ # https://rust-lang.github.io/rustup/concepts/profiles.html profile = "default" # When updating, it might be necessary to run `nix flake update`. -channel = "1.81.0" +channel = "1.90.0" From 48fdf00254c68542c009e8273deee71b4cf76092 Mon Sep 17 00:00:00 2001 From: Auca Maillot Date: Wed, 10 Dec 2025 21:01:46 -0300 Subject: [PATCH 2/2] fix clippy lint --- src/typechecker.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/typechecker.rs b/src/typechecker.rs index 10990a1..9364d81 100644 --- a/src/typechecker.rs +++ b/src/typechecker.rs @@ -1377,7 +1377,7 @@ impl<'a> Typechecker<'a> { /// Eliminate all type variables that are greater than or equal to `max_var` /// * `use_lower`: If true, replace type variables with their lower bound. - /// Otherwise, replace with their upper bound + /// Otherwise, replace with their upper bound fn eliminate_type_vars( &mut self, ty_id: TypeId,