test/tools/javac/capture/Capture2.java

*** 25,35 ****
   * @test
   * @bug 5029773
   * @summary soundness problem with failure to subsitute wildcard as type formal argument
   * @author gafter
   *
!  * @compile/fail -source 1.5 Capture2.java
   */
  
  package capture2;
  
  class R<T extends R<T>> {
--- 25,35 ----
   * @test
   * @bug 5029773
   * @summary soundness problem with failure to subsitute wildcard as type formal argument
   * @author gafter
   *
!  * @compile/fail Capture2.java
   */
  
  package capture2;
  
  class R<T extends R<T>> {