From 6a1bd514fa0289942a363bc4631b7c6d8aa1cd52 Mon Sep 17 00:00:00 2001
From: gavinking <gavin@ceylon-lang.org>
Date: Sun, 29 Nov 2015 23:09:57 +0100
Subject: [PATCH] spec for #4566

---
 typechecker/en/modules/typesystem.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/typechecker/en/modules/typesystem.xml b/typechecker/en/modules/typesystem.xml
index 1055cbc44c1..00e9bc290a3 100644
--- 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