PR20056.java   [plain text]

public class PR20056 {
  int x;
  PR20056(int x) {}
  PR20056(PR20056 f) {
    // The verifier rejected the generated code in this case.
    this(f.x = 0);
  }

  public static void main(String[] args)
  {
    System.out.println("maude");
  }
}