I need your opinion...

[Florian Weimer]

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