File: Bug11.java

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26
file content (22 lines) | stat: -rw-r--r-- 665 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
package inference.guava;

import java.io.Serializable;
import java.util.EnumMap;
import java.util.Map;

@SuppressWarnings("") // Check for crashes.
public class Bug11 {

    public static <K1, V1> MyMap<K1, V1> copyOf(Map<? extends K1, ? extends V1> map) {
        @SuppressWarnings("unchecked")
        MyMap<K1, V1> kvMap = (MyMap<K1, V1>) copyOfEnumMap((EnumMap<?, ?>) map);
        return kvMap;
    }

    private static <K2 extends Enum<K2>, V2> MyMap<K2, V2> copyOfEnumMap(
            EnumMap<K2, ? extends V2> original) {
        throw new RuntimeException();
    }

    public abstract static class MyMap<K3, V3> implements Map<K3, V3>, Serializable {}
}