fork download

copy

import java.util.*;
 
class TypeToken<T> {
    TypeToken<? extends T> asExtendsWildcard() { return null; }
    TypeToken<List<T>> asList() { return null; }
 
    public static void main(String[] args) {
        TypeToken<Number> tt = new TypeToken<Number>(){};
        TypeToken<? extends Number> extendsType = tt.asExtendsWildcard();
        TypeToken<? extends List<? extends Number>> listTypeToken1 = extendsType.asList();
        TypeToken<List<? extends Number>> listTypeToken2 = extendsType.asList();
    }
}

Main.java:11: error: incompatible types: TypeToken<List<CAP#1>> cannot be converted to TypeToken<List<? extends Number>>
        TypeToken<List<? extends Number>> listTypeToken2 = extendsType.asList();
                                                                             ^
  where CAP#1 is a fresh type-variable:
    CAP#1 extends Number from capture of ? extends Number
1 error

Standard output is empty