3 ms·
The code that triggered this long type inference loop seems pretty normal. It's not like Damas-Milner's pathological case (deeply nested instantiations of type
by catnaroek 11y ago
The code that triggered this long type inference loop seems pretty normal. It's not like Damas-Milner's pathological case (deeply nested instantiations of type schemas), which is genuinely uncommon.
- mikeash 11y agoNested collection literals aren't very common. It certainly doesn't justify requiring something like `let x = f()` to have a type annotation.