Associated Valuesの型を推論できない場合かつenumの型が左右で同じ場合、enum部分を取り除いて左右のAssociated Valuesのexpression同士で型推論からやり直してる感じに見えます。