checker/tests/nullness-safedefaultsbytecode/BytecodeDefaultsTest.java

import org.checkerframework.framework.qual.AnnotatedFor;

// Tests that the unchecked bytecode defaults option does not
// affect defaulting nor suppress errors in source code.

public class BytecodeDefaultsTest {
  void f() {
    g("");
  }

  void g(String s) {}
}

@AnnotatedFor("nullness")
class HasErrors {
  Object f() {
    // :: error: (return)
    return null;
  }
}

class HasErrors2 {
  Object f() {
    // :: error: (return)
    return null;
  }
}