fork download

copy

import java.util.Date;
 
public class Main {
 
    static class Comment { }
 
    static class User { }
 
    interface SortBy<T, M> { }
 
    static class CommentSortBy<M> implements SortBy<Comment, M> {
 
        static final CommentSortBy<Date> CREATION = new CommentSortBy<Date>();
        static final CommentSortBy<Integer> VOTES = new CommentSortBy<Integer>();
    }
 
    static class UserSortBy<M> implements SortBy<User, M> {
 
        static final UserSortBy<String> NAME = new UserSortBy<String>();
    }
 
    static class Query<T> {
 
        public <S extends SortBy<T, M>, M> void setSort(S sortBy, M min) {
            //Set relevant values
        }
    }
 
    public static void main(String[] args) {
 
        new Query<Comment>().setSort(CommentSortBy.CREATION, new Date());
        new Query<Comment>().setSort(UserSortBy.NAME, "Joe"); //compiler error
    }
}

Main.java:32: error: method setSort in class Query<T> cannot be applied to given types;
        new Query<Comment>().setSort(UserSortBy.NAME, "Joe"); //compiler error
                            ^
  required: S,M
  found: UserSortBy<String>,String
  reason: inferred type does not conform to declared bound(s)
    inferred: UserSortBy<String>
    bound(s): SortBy<Comment,String>
  where S,M,T are type-variables:
    S extends SortBy<Comment,M> declared in method <S,M>setSort(S,M)
    M extends Object declared in method <S,M>setSort(S,M)
    T extends Object declared in class Query
1 error

Standard output is empty