Member operators of concrete nominal types must declare at least one parameter with that type, like struct S { static func +(lhs: S, rhs: Int) -> S {} } For protocol member operators, we ...