Operator member syntax

[dan-zheng]

@t-ae

What I wanted to remark was that how to refer function +(_: A, _: B) -> C in proposed syntax.
Which type has this function as a member ( A.+ or B.+ or C.+ )?

Good question. Operator member syntax is relevant only for operators declared as static methods of a particular type, not for operators declared as top-level functions.

infix operator +++

// This operator is a top-level function, not a member of any type.
func +++(_ x: Int, y: Int) -> Int {
  x + y
}

extension Int {
  // This operator is a static member of `Int`.
  // The discussion involves these kinds of operators.
  static func +++(_ x: Int, y: Int) -> Int {
    x + y
  }
}

// Operator member syntax.
_ = Int.`+++`