public static boolean mayBeEqualByContract(PsiType type1, PsiType type2) {
    return ContainerUtil.or(EQUAL_CONTRACT_CLASSES, className -> areConvertibleSubtypesOf(type1, type2, className));
  }
public static boolean mayBeEqualByContract(PsiType type1, PsiType type2)