java-topology/test/langtools/tools/javac/generics/inference/8176534/T8176534.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

18 lines
565 B
Java

/*
* @test /nodynamiccopyright/
* @bug 8176534
* @summary Missing check against target-type during applicability inference
* @compile/fail/ref=T8176534.out -Werror -Xlint:unchecked -XDrawDiagnostics T8176534.java
*/
import java.util.*;
abstract class T8176534 {
List<String> f(Enumeration e) {
return newArrayList(forEnumeration(e));
}
abstract <T> Iterator<T> forEnumeration(Enumeration<T> e);
abstract <E> ArrayList<E> newArrayList(Iterator<? extends E> xs);
abstract <E> ArrayList<E> newArrayList(Iterable<? extends E> xs);
}