Capture conversion issue in Java, WRT reconciliation of JLS and actual JDK behaviour

Question

Given the following two class definitions:

class C1> {}

class C2 extends C1> {}

Con

Answer 1

This question is answered best by Maurizio's response on compiler-dev.

(TL;DR javac is indeed out of alignment with the spec here, and the optimal solution probably lies somewhere between the two approaches)

An associated bug can be found here.

Many thanks to all who contributed to this answer.