I need your opinion...

[Marek Kozieł]

2009/3/21 Florian Weimer <fw at deneb.enyo.de>:
> * John Rose:
>
>> On Mar 21, 2009, at 12:52 PM, Marek Kozieł wrote:
>>
>>> Allow final variables and final Fields (except blank final), to not
>>> having explicit Type.
>>
>> Yes.  Someone should work exactly this (and no more) into a separate
>> proposal, if it hasn't been done already.
>
> What should be the inferred type of an expression with an intersection
> type?  Is there an answer which is acceptable in the COIN context?
>


After some thoughts:

 interface A {}

 interface B {}

 interface C {}

 class cABC implements A, B, C {}

 class cAC implements A, C {}

public static void main(String[] args) {
    Object  x = (true?new cABC():new cAC()); // now days
}

but it could be extended to (in matter of time):
A&C  y = (true?new cABC():new cAC());

-- 
  Pozdrowionka. / Regards.
  Lasu aka Marek Kozieł

  http://lasu2string.blogspot.com/