package test;

public class I04 {

  @NonNull Object test() {
    return new Object();
  }
  
  public static void main(@NonNull String[] args) {
    System.out.println("infer non-null return values");
  }
}