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" 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,