Anonymous class instance creation expression with diamond compatibility constraint is reduced to anonymous class type?

[Dan Smith]

> On Mar 13, 2017, at 8:45 AM, Georgiy Rakov <georgiy.rakov at oracle.com> wrote:
> 
> Hi Maurizio,
> 
> this example can be considered as a new test which resulted from correcting existing test stemmed from Dan's comment in JDK-8133936. This behavior is reproduced on JDK build 160.
> 
> As it follows from your reply it's likely to be a javac issue, so I've filed a bug: JDK-8176577.

To clarify some confusion in this thread: I agree with Georgiy's interpretation of the spec. The test program he provided should compile. This is consistent with my comment on JDK-8133936.

—Dan