Did someone try the new type inference? Did you encounter issues or is it stable?

# announcements

[Paul Woitaschek]

Did someone try the new type inference? Did you encounter issues or is it stable?

[Pavlo Liapota]

https://youtrack.jetbrains.com/issues/KT?q=new%20inference ¯\_(ツ)_/¯

[Alexey Belkov [JB]]

It is pretty stable. All known unresolved issues can be found with this search: https://youtrack.jetbrains.com/issues/KT?q=tag:%20new-inference%20-Resolved%20

[Paul Woitaschek]

How is it pretty stable?
https://youtrack.jetbrains.com/issues/KT?q=new-inference%20-Resolved%20Priority:%20Critical,Major%20Type:%20Bug%20
I see 29 major bugs

[Alexey Belkov [JB]]

Well, please try it anyway. Your feedback is very welcome.

[jw]

29? Wait until you find out how many bugs are in the whole language...

[bbaldino]

can i read about the 'new inference' somewhere?

[Alexey Belkov [JB]]

For now you can only watch

https://www.youtube.com/watch?v=MyljSWm0Y_k▾

[Sergey Chelombitko]

Failed in a relatively simple case:

val progressView: View?
init {
    progressView = if (progressViewId != View.NO_ID) ViewCompat.requireViewById(rootView, progressViewId) else null
}

if (progressViewId != -1) {
    ViewCompat.requireViewById(rootView, progressViewId); // ??
    throw null;
} else {
    this.progressView = (View)null;
}

Looks similar to https://youtrack.jetbrains.com/issue/KT-25345

[Alexey Belkov [JB]]

Please report to http://kotl.in/issue with a sample project to reproduce if possible. Thanks.