Is there any rough idea of when type outference wi...

# language-evolution

[Youssef Shoaib [MOD]]

Is there any rough idea of when type outference will be available as a prototype or experimental? I'm wondering how it deals with some complicated examples I have, including existential types.