@Nullable
  public Collection<ConstraintFormula> reduceTypeConstraint(@NotNull PsiType leftType,
                                                            @NotNull PsiType rightType,
                                                            @NotNull Position position,
                                                            @NotNull PsiElement context) {
    return null;
  }
@Nullable
  public Collection<ConstraintFormula> reduceTypeConstraint(@NotNull PsiType leftType,
                                                            @NotNull PsiType rightType,
                                                            @NotNull Position position,
                                                            @NotNull PsiElement context)