WildCards - producer <? extends V>

public static void main(String[] args) {
        List<Object> objects = new ArrayList<>();
        List<Pet> pets = new ArrayList<>();
        List<Dog> dogs = new ArrayList<Dog>();
        List<SpecialDog> specialDogs = new ArrayList<>();
        dogs.add(new SpecialDog());
        dogs.addAll(specialDogs);
        specialDogs.add(new Dog());
     //   test1(objects);
     //   test1(pets);
        test1(dogs);
        test1(specialDogs);
        test2(objects);
        test2(pets);
     //   test2(dogs);
      //  test2(specialDogs);
 
        List<Number> list1 = new ArrayList<>();
        List<Integer> list2 = new ArrayList<>();
        List<? extends Number> list3 = list2;
        list3.add((Number) Integer.MAX_VALUE);
        List<? super Number> list4 = list2;
        List<? extends Integer> list5;
        List<? super Integer> list6;
    }
    private static void test1(List<? extends Dog> test) { // ничего кроме null закинуть нельзя иначе было бы смешение типов.
        test.add(new Object());
        test.add(new Dog());
        test.add(new SpecialDog());
        test.add(null);
        Dog dog = test.get(0);
    }
    private static void test2(List<? super Pet> test) { // можно закидывать любых наследников от Pet
        Object d = test.get(0);
        test.add(new Dog());
        test.add(new SpecialDog());
        test.add(new Object());
        test.add(new Pet());
    }
    static class Animal {
    }
    static class Pet extends Animal {
    }
    static class Dog extends Pet {
    }
    static class SpecialDog extends Dog {
    }
}