russell@unturf.com
0a580b313d
Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com Patches, unit tests, benchmarks, whitepaper, and outreach briefs. Public domain — no copyright claimed. Use freely.
22 lines
No EOL
479 B
Java
22 lines
No EOL
479 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @bug 8075793
|
|
* @summary Capture variable as an inference upper bound followed by a member reference
|
|
* @compile/fail/ref=CaptureUpperBoundDeref.out -XDrawDiagnostics CaptureUpperBoundDeref.java
|
|
*
|
|
*/
|
|
|
|
class CaptureUpperBoundDeref {
|
|
|
|
interface Wrapper<T> {
|
|
I<T> get();
|
|
}
|
|
|
|
interface I<T> {}
|
|
|
|
<T> T m(I<? super T> arg) { return null; }
|
|
|
|
void test(Wrapper<? super String> w) {
|
|
m(w.get()).substring(0);
|
|
}
|
|
} |