Syntax for calling super

Brian Goetz brian.goetz at
Thu Aug 23 18:31:01 PDT 2012

> What about a simple method reference K::m() ? With a rule that says that
> it is only accessible if K is a direct superinterface?

K::m already has a meaning; it is an unbound method reference to the 
virtual method K.m.

Think of it as a shorthand for the lambda:
    (K r, arg, ...) -> r.m(arg, ...)

More information about the lambda-dev mailing list