diff --git a/src/main/wacc/typeChecker.scala b/src/main/wacc/typeChecker.scala
index 5c20ec0..38b34e3 100644
--- a/src/main/wacc/typeChecker.scala
+++ b/src/main/wacc/typeChecker.scala
@@ -203,7 +203,6 @@ object typeChecker {
       ) match {
         case what @ KnownType.Pair(left, _) =>
           left.satisfies(constraint, elem.pos)
-        case ? => ?.satisfies(constraint, elem.pos)
         case _ => ctx.error(Error.InternalError(elem.pos, "fst must be applied to a pair"))
       } // satisfies constraint
     case Snd(elem) =>
@@ -212,7 +211,6 @@ object typeChecker {
         Constraint.Is(KnownType.Pair(?, ?), "snd must be applied to a pair")
       ) match {
         case KnownType.Pair(_, right) => right.satisfies(constraint, elem.pos)
-        case ?                        => ?.satisfies(constraint, elem.pos)
         case _ => ctx.error(Error.InternalError(elem.pos, "snd must be applied to a pair"))
       }