code: private static boolean equalSlots(StaticTypedSlot slotA, StaticTypedSlot slotB) {
      return slotA == slotB || !slotA.getType().differsFrom(slotB.getType());
    }
docs: Determines whether two slots are meaningfully different for the purposes of data flow analysis.