Java泛型通配符-协变与逆变：报错

有难度，这个貌似应该用scala来做######Java中有协变和逆变这个说法吗？能不能说的通俗点######

import typeinfo.pets.*;
import java.util.*;

class Generic1<T> {
  public void method(T t) {
    System.out.println(t.toString());
  }
}

class Generic2<T> {
  T t;
  Generic2(T t){ this.t = t; }
  public T method() {
    return t;
  }
}

public class Question28 {
  public <T> void method1(Generic1<? super T> gen, T t) {
    gen.method(t);
  }
  public <T> void method2(Generic2<? extends T> gen, T t) {
    gen.method();
  }
  public static void main(String[] args) {
    Question28 q = new Question28();
    q.method1(new Generic1<Pet>(),new Dog());
    q.method2(new Generic2<Dog>(new Dog()),new Pet());
  }
}/* Output:
Dog
*////:~

这是我的代码，不一定对，“具有一个调用第一个泛型类的方法的逆变参数”这句话不知道怎么理解，咱们共同探讨。