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.
25 lines
665 B
Java
25 lines
665 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @bug 5020448
|
|
* @summary Generic method allowing passing of types that don't match collection types
|
|
* @author gafter
|
|
*
|
|
* @compile/fail/ref=UnsoundInference.out -XDrawDiagnostics UnsoundInference.java
|
|
*/
|
|
|
|
import java.util.ArrayList;
|
|
import java.util.Collection;
|
|
|
|
public class UnsoundInference {
|
|
|
|
public static void meth() {
|
|
Object[] objArray = {new Object()};
|
|
ArrayList<String> strList = new ArrayList<String>();
|
|
transferBug(objArray, strList);
|
|
String str = strList.get(0);
|
|
}
|
|
|
|
public static <Var> void transferBug(Var[] from, Collection<Var> to) {
|
|
to.add(from[0]);
|
|
}
|
|
}
|