DefaultLoops.java

import java.util.LinkedList;
import org.checkerframework.checker.nullness.qual.*;

class MyTS extends LinkedList {}

public class DefaultLoops {
    void m() {
        MyTS ts = new MyTS();
        // s should default to @Nullable
        for (Object s : ts) {}
    }

    void bar() {
        for (int i = 0; i < 100; ++i) {
            // nullable by default
            Object o;
            o = null;
            //:: error: (dereference.of.nullable)
            o.hashCode();
            o = new Object();
            o.hashCode();
        }
        for (int i = 0; i < 100; ++i) {
            // nullable by default
            Object o;
            o = new Object();
            o.hashCode();
        }
        int i = 0;
        // nullable by default
        for (Object o2; i < 100; ++i) {
            o2 = null;
            int i3 = new Object().hashCode();
        }
    }
}