Occurrence: cleanup

Summary: - clean up redundancies

Reviewed By: michalmuskala

Differential Revision: D40231046

fbshipit-source-id: 34c9a662d0098555bd50c08469a374885d49968c

eqwalizer/src/main/scala/com/whatsapp/eqwalizer/tc/Occurrence.scala

@@ -8,7 +8,7 @@ package com.whatsapp.eqwalizer.tc
 
 import com.whatsapp.eqwalizer.ast.Guards._
 import com.whatsapp.eqwalizer.ast.Exprs._
-import com.whatsapp.eqwalizer.ast.{Id, Types, Vars}
+import com.whatsapp.eqwalizer.ast.{Id, Types}
 import com.whatsapp.eqwalizer.ast.Pats._
 import com.whatsapp.eqwalizer.ast.Types._
 
@@ -89,7 +89,6 @@ object Occurrence {
   private case object + extends Polarity
   private case object - extends Polarity
   type Path = List[Field]
-  type PosNeg = (List[Pos], List[Neg])
 
   val unary_predicates: Map[String, Type] =
     Map(
@@ -689,13 +688,6 @@ final class Occurrence(pipelineContext: PipelineContext) {
       case (_, ListType(_) | NilType) =>
         Some(false)
 
-      case (BinaryType, BinaryType) =>
-        Some(true)
-      case (BinaryType, _) =>
-        Some(false)
-      case (_, BinaryType) =>
-        Some(false)
-
       case _ =>
         simpleOverlap(t1, t2)
     }