What benefits does the new type inference engine provide? I know it isn’t finished, but I’m wondering why it exists

Here’s one example I encountered https://stackoverflow.com/questions/46542037/cant-replace-sam-constructor-with-lambda-when-first-argument-is-a-class-with-on

Oh wow, that’s a lot of fixed issues. The only thing stopping me from using the new inference at this point is some compile errors, I assume I should create issues for those if they’re not already present?

definitely, better if jetbrains can fix regressions before it is published