GlennnM

Results 1 issues of GlennnM

Command: ``` java -jar build/libs/checkerframework/checker.jar -cp build/libs/checkerframework/checker.jar:build/libs/checkerframework/checker.jar:build/libs/checkerframework/checker-qual.jar:build/libs/checkerframework/checker-util.jar -processor org.checkerframework.checker.resourceleak.ResourceLeakChecker,org.checkerframework.checker.nullness.NullnessChecker ./IntersectTest.java ``` Code: ``` import java.util.EnumSet; import java.util.Set; public class IntersectTest { public static EnumSet intersect(Set set1, Set set2) { EnumSet

crash