1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/*
* @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 main(String[] args) {
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]);
}
}
|
