package test;

public class I01 {
  @NonNull Object f = new Object();

  void test(@NonNull Object p) {
    @NonNull Object v;
    f = p = v = new Object();
  }
  
  public static void main(@NonNull String[] args) {
    System.out.println("simple inference of non-null property for variables");
  }
}