langtools/test/tools/javac/generics/inference/7177306/T7177306e.java
author mcimadamore
Tue, 12 Feb 2013 19:25:09 +0000
changeset 15717 ab55670d2e62
parent 14048 308d1cf8fe46
child 30718 391eff0516a6
permissions -rw-r--r--
8007464: Add graph inference support Summary: Add support for more aggressive type-inference scheme Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14048
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
     1
/**
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
     2
 * @test /nodynamiccopyright/
15717
ab55670d2e62 8007464: Add graph inference support
mcimadamore
parents: 14048
diff changeset
     3
 * @bug 7177306 8007464
14048
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
     4
 * @summary Regression: unchecked method call does not erase return type
15717
ab55670d2e62 8007464: Add graph inference support
mcimadamore
parents: 14048
diff changeset
     5
 * @compile/fail/ref=T7177306e.out -source 7 -Xlint:-options -XDrawDiagnostics T7177306e.java
ab55670d2e62 8007464: Add graph inference support
mcimadamore
parents: 14048
diff changeset
     6
 * @compile/fail T7177306e.java
14048
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
     7
 */
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
     8
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
     9
import java.util.List;
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    10
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    11
class T7177306e {
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    12
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    13
    <Z, U extends List<Z>> void m(List<U> lu) { }
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    14
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    15
    void test(List<List<?>> llw) {
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    16
       m(llw);
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    17
    }
308d1cf8fe46 7177306: Regression: unchecked method call does not erase return type
mcimadamore
parents:
diff changeset
    18
}