Stale comment

2025-09-28 06:14:46 +00:00 · 2022-05-04 17:42:55 -04:00 · 2022-05-04 17:42:55 -04:00 · a242a90416
commit a242a90416
parent 7b195d5fdf
1 changed files with 6 additions and 8 deletions
--- a/compiler/solve/src/solve.rs
+++ b/compiler/solve/src/solve.rs
@ -150,14 +150,12 @@ impl Aliases {
            {
                let start = self.variables.len() as _;

-                self.variables
-                    // TODO: propogate ability?
-                    .extend(
-                        alias
-                            .type_variables
-                            .iter()
-                            .map(|x| OptAbleVar::from(&x.value)),
-                    );
+                self.variables.extend(
+                    alias
+                        .type_variables
+                        .iter()
+                        .map(|x| OptAbleVar::from(&x.value)),
+                );

                self.variables.extend(alias.lambda_set_variables.iter().map(
                    |x| match x.as_inner() {