spec for #4566

eclipse-archived · Nov 29, 2015 · 6a1bd51 · 6a1bd51
1 parent 3c55e8c
commit 6a1bd51
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/typechecker/en/modules/typesystem.xml b/typechecker/en/modules/typesystem.xml
@@ -1891,8 +1891,8 @@ interface NumberLiteral
                     <para>Any parameter type of the method is a contravariant position.</para>
                 </listitem>
                 <listitem>
-                    <para>Any upper bound of a type parameter of the method is a contravariant 
-                    position.</para>
+                    <para>Any upper bound or enumerated bound of a type parameter of the 
+                    method is a contravariant position.</para>
                 </listitem>
                 <!--listitem>
                     <para>Any lower bound of a type parameter of the method is a covariant 
@@ -1932,8 +1932,8 @@ interface NumberLiteral
                     any outer containing type.</para>
                 </listitem>
                 <listitem>
-                    <para>Any upper bound of a type parameter of the class is a contravariant 
-                    position.</para>
+                    <para>Any upper bound or enumerated bound of a type parameter of the 
+                    class is a contravariant position.</para>
                 </listitem>
                 <!--listitem>
                     <para>Any lower bound of a type parameter of the class is a covariant