spec #865

ceylon · Jan 28, 2015 · 33f07b2 · 33f07b2
1 parent ebf091b
commit 33f07b2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/en/modules/typesystem.xml b/en/modules/typesystem.xml
@@ -2695,6 +2695,11 @@ value consumer = Consumer(delegate1, delegate2);]]></programlisting>
             <literal>Comparable</literal> and <literal>Numeric</literal>) or in which 
             another type parameter appears?</para></comment>
 
+            <para>An inferred type argument never involves an anonymous class, as defined 
+            in <xref linkend="anonymousclasses"/>. When an inferred type would involve an 
+            anonymous class type, the anonymous class is replaced by the intersection 
+            of the class type it extends with all interface types it satisfies.</para>
+
         </section>
 
     </section>