java-topology/test/langtools/tools/javac/generics/inference/CaptureLowerBoundDeref.java
russell@unturf.com 0a580b313d undefect. CWE-407 — 63 sites patched across 27 ecosystems
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.
2026-03-26 17:11:57 -04:00

24 lines
No EOL
519 B
Java

/*
* @test /nodynamiccopyright/
* @bug 8075793
* @summary Capture variable as an inference lower bound followed by a member reference
* @compile/fail/ref=CaptureLowerBoundDeref.out -XDrawDiagnostics CaptureLowerBoundDeref.java
*
*/
class CaptureLowerBoundDeref {
interface Wrapper<T> {
I<T> get();
}
interface I<T> {}
interface K<T> { void take(T arg); }
<T> K<T> m(I<? extends T> arg) { return null; }
void test(Wrapper<?> w) {
m(w.get()).take(new Object());
}
}