species static prototype (original) (raw)

Brian Goetz brian.goetz at oracle.com
Wed Jun 1 18:56:28 UTC 2016

On 6/1/2016 2:52 PM, Bjorn B Vardal wrote:

Will the users be able to write their own ?

* class Foo { _o species { + ... } } I would assume so; even if we don't support a __species { } block, the user can still contribute to the species initialization with field initializers:

 __species int x = 3;

So I see no reason to not adopt symmetry with static here.

Your access bridge solution using species methods looks fine, but are we not solving that with nest mates?

We now have two credible solutions. Before we had species-static, nestmates were basically a forced move; now its an optional move.

I'm also wondering whether the following are typos, or if I misunderstood them:

_* TestResolution.mI() was not meant to be decorated with 'species' * TestForwardRef2.s1S and TestForwardRef2.s2SS don't have the correct modifiers, or should not be error cases. _* TestTypeVar.mI() was not meant to be decorated with 'species'

I'll let Maurizio answer these.

More information about the valhalla-spec-observers mailing list