fork download

copy

import java.util.*;
 
class Example {
    public static void main(String[] args) {
        m(new ArrayList<List<String>>());
    }
 
    static <A extends List<B>, B extends List<C>, C> void m(A a) {}
}

Main.java:5: error: invalid inferred types for B,C; inferred type does not conform to declared bound(s)
        m(new ArrayList<List<String>>());
         ^
    inferred: List<String>
    bound(s): List<Object>
  where B,A,C are type-variables:
    B extends List<C> declared in method <A,B,C>m(A)
    A extends List<B> declared in method <A,B,C>m(A)
    C extends Object declared in method <A,B,C>m(A)
1 error

Standard output is empty