Reference implementation

[Maurizio Cimadamore]

Paul Benedict wrote:
> Neal,
>
> Thank you for raising this point again!
>
> It was admitted the current diamond operator implementation is
> incomplete compared to the "complex/full" solution. It was also
> admitted the partial solution is not a "true subset" of the "complex"
> solution. With that said, I am concerned the partial solution will
> infer somethings in JDK 7, but a later JDK using the "complex"
> solution would infer differently or invalidate inferences of the
> partial solution. Joe, is that possible?
>   
Both complex and simple are subset of full-complex. If some future 
release will switch to full-complex the transition will be smooth (no 
strange mismatch in types inferred by the diamond algotithm). On the 
other hand switching from simple to complex and vice-versa will cause 
problems.

Maurizio
> Paul
>
>