unification: remove unreachable pattern

2025-02-08 17:05:33 +01:00 · 2025-02-08 17:05:33 +01:00 · 389d9559cd
commit 389d9559cd
parent a4837038e6
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})
        }
    }