恐縮です

2:54 AM

parametrized conformance を実現するために protocol をでっち上げて後付けで conform させるというのをやっているのですが、それを入れたことで元々問題なかったところにおかしなエラーが出て困っています

https://github.com/taketo1024/SwiftyMath/blob/WTF/Sources/SwiftyHomology/Basics/ModuleObject.swift#L279 (edited)

taketo1024/SwiftyMath

SwiftyMath - Pure Math in Pure Swift.

2:56 AM

public protocol IntModuleObjectType: ModuleObjectType where R == 𝐙 { ... } extension ModuleObject: IntModuleObjectType where R == 𝐙 {}

この 297 行目でコメントアウトしてる部分を外すと、 100 行目で

Binary operator '==' cannot be applied to operands of type '_Matrix<Dynamic, Dynamic, R>' and '_Matrix<Dynamic, Dynamic, ModuleObject.R>' (aka '_Matrix<Dynamic, Dynamic, Int>')

と勝手に R == Int と仮定されて怒られているようです

(edited)

2:58 AM

原因や回避策など分かる方いたらご教示ください