Comment on Type inference of all constructs and the next 15 monthsparentComments−josevalimOP8moHard to say, as it really depends on what goes wrong. In practice we would likely need to make different trade-offs (for example, do less inference).
Comments
Hard to say, as it really depends on what goes wrong. In practice we would likely need to make different trade-offs (for example, do less inference).