unification: remove unreachable pattern

2025-02-09 12:13:21 +01:00
1 changed files with 0 additions and 4 deletions
--- a/src/unification.rs
+++ b/src/unification.rs
@ -67,10 +67,6 @@ impl UnificationProblem {
                }
            }

-            (TypeTerm::Ladder(l1), TypeTerm::Ladder(l2)) => {
-                Err(UnificationError{ addr, t1: lhs, t2: rhs })
-            }
-
            _ => Err(UnificationError{ addr, t1: lhs, t2: rhs})
        }
    }