The original proposals used special-purpose syntax for variance annotations, writing List<+Animal> instead of Java's more verbose List<? extends Animal>.
原本的提案是使用专门用途的语法来标记变型，写作 List<+Animal> 而不是 Java 这么啰嗦的 List<?