UnsoundInference.java revision 2927:044ab500b496 
1/*
2 * @test /nodynamiccopyright/
3 * @bug 5020448
4 * @summary Generic method allowing passing of types that don't match collection types
5 * @author gafter
6 *
7 * @compile/fail/ref=UnsoundInference.out -XDrawDiagnostics  UnsoundInference.java
8 */
9
10import java.util.ArrayList;
11import java.util.Collection;
12
13public class UnsoundInference {
14
15    public static void main(String[] args) {
16        Object[] objArray = {new Object()};
17        ArrayList<String> strList = new ArrayList<String>();
18        transferBug(objArray, strList);
19        String str = strList.get(0);
20    }
21
22    public static <Var> void transferBug(Var[] from, Collection<Var> to) {
23        to.add(from[0]);
24    }
25}
26