Guessing it's this: https://forums.swift.org/t/swift-type-checking-is-undecidabl...