Poly upDet iteration

t-rasmud · Apr 24, 2020 · e9403e1 · e9403e1
1 parent 872d640
commit e9403e1
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/.../main/java/org/checkerframework/checker/determinism/DeterminismQualifierPolymorphism.java b/.../main/java/org/checkerframework/checker/determinism/DeterminismQualifierPolymorphism.java
@@ -131,7 +131,8 @@ protected void replace(
                 if (replacements.contains(factory.DET)) {
                     type.replaceAnnotations(replacements);
                 } else if (replacements.contains(factory.ORDERNONDET)
-                        || replacements.contains(factory.NONDET)) {
+                        || replacements.contains(factory.NONDET)
+                        || replacements.contains(factory.POLYDET_UPDET)) {
                     type.replaceAnnotation(factory.NONDET);
                 }
                 return;

diff --git a/checker/tests/determinism/PolyUpDetIteration.java b/checker/tests/determinism/PolyUpDetIteration.java
@@ -0,0 +1,12 @@
+import java.util.*;
+import org.checkerframework.checker.determinism.qual.*;
+
+public class PolyUpDetIteration {
+    void f(@PolyDet List<@PolyDet String> list) {
+        @PolyDet("upDet") Set<@PolyDet String> set = new HashSet<>(list);
+        for (String elt : set) {
+            // :: error: (assignment.type.incompatible)
+            @PolyDet("up") String s = elt;
+        }
+    }
+}