How would this change the type inference algorithm...
# language-proposals
n
How would this change the type inference algorithm?