代入と違うところは演算子も関数扱いなので、右辺と左辺はそれぞれ関数の引数に与えるのと同じです。なのでリテラルからどう型推論が解決されるかは演算子（関数）の引数がとりうる型にもよります。 == は static func == (Self, Self) -> Bool なので、どちらか一方が決まるともう片方も決まることになります。