java/java-tests/testData/compiler/notNullVerification/SimpleReturn.java

import org.jetbrains.annotations.NotNull;

public class SimpleReturn {
  @NotNull public Object test() {
    return null;
  }
}