あー、思い出した。これか https://github.com/omochi/SwiftTypeInferenceHandsOn/blob/d9e9340954c6d36b09e6c7142b32d08ac2c4063f/Sources/SwiftcSema/CSMatch.swift#L170

SwiftTypeInferenceHandsOn/CSMatch.swift at d9e9340954c6d36b09e6c714...

Swiftc合宿 2019/09/28. Contribute to omochi/SwiftTypeInferenceHandsOn development by creating an account on GitHub.

11:37 AM

leftとright逆に渡してなんだって思った記憶がある

11:37 AM

確かにここハマってた

11:38 AM

@objcがcovariantみたいな話は聞いたことある気がする