File: Capture2.java

package info (click to toggle)
libnb-javaparser-java 9%2B2018-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster
  • size: 65,172 kB
  • sloc: java: 440,096; xml: 6,359; sh: 865; makefile: 314
file content (19 lines) | stat: -rw-r--r-- 397 bytes parent folder | download | duplicates (18) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
/*
 * @test /nodynamiccopyright/
 * @bug 5029773
 * @summary soundness problem with failure to substitute wildcard as type formal argument
 * @author gafter
 *
 * @compile/fail/ref=Capture2.out -XDrawDiagnostics  Capture2.java
 */

package capture2;

class R<T extends R<T>> {
    T f() { return null; }
    T t;

    void x(R<?> r) {
        this.t = r.f().t; // this should be an error!
    }
}