diff --git a/compiler/gen/tests/helpers/eval.rs b/compiler/gen/tests/helpers/eval.rs
index 7670cac517..42834c10f9 100644
--- a/compiler/gen/tests/helpers/eval.rs
+++ b/compiler/gen/tests/helpers/eval.rs
@@ -1,4 +1,4 @@
-use roc_collections::all::{MutMap, MutSet};
+use roc_collections::all::MutSet;
 use roc_types::subs::Subs;
 
 pub fn helper_without_uniqueness<'a>(
diff --git a/compiler/solve/tests/solve_uniq_expr.rs b/compiler/solve/tests/solve_uniq_expr.rs
index 0e51f268d5..eaa0dc8594 100644
--- a/compiler/solve/tests/solve_uniq_expr.rs
+++ b/compiler/solve/tests/solve_uniq_expr.rs
@@ -2220,7 +2220,7 @@ mod solve_uniq_expr {
     }
 
     #[test]
-    fn list_walkRight_sum() {
+    fn list_walk_right_sum() {
         infer_eq(
             indoc!(
                 r#"
@@ -2290,14 +2290,6 @@ mod solve_uniq_expr {
         );
     }
 
-    #[test]
-    fn list_walkRight() {
-        infer_eq(
-            "List.walkRight",
-            "Attr * (Attr (* | b) (List (Attr b a)), Attr Shared (Attr b a, c -> c), c -> c)",
-        );
-    }
-
     #[test]
     fn list_push_singleton() {
         infer_eq(
@@ -2313,7 +2305,7 @@ mod solve_uniq_expr {
     }
 
     #[test]
-    fn list_walkRight_reverse() {
+    fn list_walk_right_reverse() {
         infer_eq(
             indoc!(
                 r#"
diff --git a/compiler/unify/src/unify.rs b/compiler/unify/src/unify.rs
index b42aae3b2a..84b6c42130 100644
--- a/compiler/unify/src/unify.rs
+++ b/compiler/unify/src/unify.rs
@@ -644,7 +644,6 @@ fn unify_shared_tags(
             };
 
             if problems.is_empty() {
-                // debug_assert_eq!(subs.get_root_key(actual), subs.get_root_key(expected));
                 matching_vars.push(actual);
             }
         }
@@ -737,7 +736,7 @@ fn unify_flat_type(
         }
 
         (RecursiveTagUnion(recursion_var, tags1, ext1), TagUnion(tags2, ext2)) => {
-            // unreachable!("unify of recursive with non-recursive tag union should not occur");
+            // this never happens in type-correct programs, but may happen if there is a type error
             let union1 = gather_tags(subs, tags1.clone(), *ext1);
             let union2 = gather_tags(subs, tags2.clone(), *ext2);