RequiresPrivateField.java

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

// @skip-test Test case for future feature:  @RequiresNonNull is permitted to access a private field (maybe just those that are annotated with @SpecPublic)

public class RequiresPrivateField {

    @RequiresNonNull("PptCombined.assemblies")
    public void testFindIntermediateBlocks1() {
        // no body
    }
}

class PptCombined {

    @SpecPublic private static @MonotonicNonNull String assemblies = null;
}