fix #4566

eclipse-archived · Nov 29, 2015 · 3c55e8c · 3c55e8c
1 parent df8b705
commit 3c55e8c
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/typechecker/src/com/redhat/ceylon/compiler/typechecker/analyzer/TypeArgumentVisitor.java b/typechecker/src/com/redhat/ceylon/compiler/typechecker/analyzer/TypeArgumentVisitor.java
@@ -43,6 +43,14 @@ private void flip() {
                     check(type, false, null);
                 }
             }
+            Tree.CaseTypes cts = 
+                    that.getCaseTypes();
+            if (cts!=null) {
+                for (Tree.Type type: cts.getTypes()) {
+                    //TODO: is "null" really correct here?!
+                    check(type, false, null);
+                }
+            }
             flip();
             parameterizedDeclaration = null;
         }

diff --git a/typechecker/test/main/cases/enumeratedbounds.ceylon b/typechecker/test/main/cases/enumeratedbounds.ceylon
@@ -29,4 +29,11 @@ void testEnumeratedBounds() {
     @error Foo<Object>();
 }
 
-void brokenEnumBound<O>() @error given O of true|false {}
+void brokenEnumBound<O>() @error given O of true|false {}
+
+class Lizt<out Item>() {
+    shared Item add<in InItem>(InItem i) 
+            @error given InItem of Item { 
+        return i of Item; 
+    }
+}