Matt Gallagher: But the line doesn’t get past the Swift type checker. Instead, it emits an error that the expression is too complex to solve. It doesn’t look complex, does it? It’s 5 integer literals, 4 addition operators, two negation operators and a binding to a Double type. How can an expression containing just 12 … Continue reading Exponential Time Complexity in the Swift Type Checker