package test;

public class I12 {
  void test() {
    Object v1 = null;
    @NonNull Object v2 = new Object();
    if(v1 != null) {
      v1 = v1;
      v2 = v1;
    }
  }

  public static void main(@NonNull String[] args) {
    System.out.println("guarded possibly null variables may be non-null locally, guard is invalid if re-assigned, how is circularity handled");
  }
}