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?
>

That would be type of type's intersection, just like it work now days:

  class A {}
  class B extends A {}

  public static void main(String[] args) {
      B some= (true?new A(): new B()); // error cannot cast A to B
  }

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

http://lasu2string.blogspot.com/