Comment by grandempire

Yeah. My understanding is the design of type inference is flawed and requires exponential complexity to resolve and it’s not fixable without breaking change.

Why this is not a top priority before literally anything else?