Javaで?を使わずにListがCovariantであるように振る舞わせると・・・

gistfile1.java

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;

import static java.lang.System.out;

public class VarianceTest {
	static class Animal {
	}

	static class Cat extends Animal {
	}

	public static void main(String[] args) {
		List<Cat> cats = new ArrayList<Cat>(Arrays.asList(new Cat(), new Cat()));

		// もしListがCovariantであれば可能な代入をJavaで? extendsを使わずに無理やり書く。
		List<Animal> animals = (List<Animal>) (List<? extends Animal>) cats;

		for (Animal animal : animals) { // Cat, Cat, 
			out.print(animal.getClass().getSimpleName() + ", ");
		}
		out.println();

		animals.add(new Animal()); // ここではエラーにならない。JavaのGenericsは実行時には型情報を失っているため。

		for (Animal animal : animals) { // Cat, Cat, Animal, （Animalが追加されていることに注意）
			out.print(animal.getClass().getSimpleName() + ", ");
		}
		out.println();

		for (Cat cat : cats) { // ClassCastException （AnimalをCatにキャストできない）
			out.print(cat.getClass().getSimpleName() + ", ");
		}
		out.println();
	}
}