import org.checkerframework.checker.nullness.qual.NonNull;

class FinalVar {

    public Object pptIterator() {
        // Only test with (effectively) final variables; Java only permits final or
        // effectively final variables to be accessed from an anonymous class.
        final String iter_view_1 = "I am not null";
        @NonNull String iter_view_2 = "Neither am I";
        final @NonNull String iter_view_3 = "Dittos";
        return new Object() {
            public void useFinalVar() {
                iter_view_1.hashCode();
                iter_view_2.hashCode();
                iter_view_3.hashCode();
            }
        };
    }
}