LanguageLevelInReturnTypeCheck.java

package p;

class C extends B {}