Fix #338

ceylon · Jun 19, 2012 · 905a999 · 905a999
1 parent 44e0b39
commit 905a999
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/com/redhat/ceylon/compiler/typechecker/analyzer/ExpressionVisitor.java b/src/com/redhat/ceylon/compiler/typechecker/analyzer/ExpressionVisitor.java
@@ -2348,7 +2348,7 @@ private void visitSetAssignmentOperator(Tree.BitwiseAssignmentOp that) {
                 checkAssignable(rhset, lhset, that.getRightTerm(), 
                         "resulting set element type must be assignable to to declared set element type");
             }            
-            that.setTypeModel(unit.getSetType(lhst)); //in theory, we could make this narrower
+            that.setTypeModel(unit.getSetType(lhset)); //in theory, we could make this narrower
         }
     }
 

diff --git a/test/main/typing/Operators.ceylon b/test/main/typing/Operators.ceylon
@@ -298,4 +298,8 @@ class Operators() {
     @type["Set<String>"] value sr4 = ss&so;
     @type["Set<Object>"] value sr5 = ss|so;
 
+    variable Set<String> vss := ss;
+    @type["Set<String>"] vss|=ss;
+    @type["Set<String>"] vss&=ss;
+
 }