parameter inference

[Simon Schäfer]

I accidentally noticed that on 2.10.2.v20130425-053916-403ba8938f the
following compiles:

class A { def a(i: Int) = i }
class B extends A { override def a(i) = i } // no type parameter on i

While I heard of such a potential change some time ago, I can't find the
commit where it is finally merged.

Anyone here who can point me to it?

[Paul Phillips]

On Fri, May 17, 2013 at 4:45 PM, Simon Schäfer <ma...@antoras.de> wrote:

While I heard of such a potential change some time ago, I can't find the commit where it is finally merged.

That's because it wasn't. It is only allowed under -Xexperimental, where it has worked since at least 2.7.

[Simon Schäfer]

Ok, silly mistake, I didn't notice that the flag was activated.

--
You received this message because you are subscribed to the Google Groups "scala-language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scala-languag...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.