// "Replace with a null check" "true-preview"

import org.jetbrains.annotations.Nullable;

class Test {
  void foo(@Nullable Rect obj) {
    if (obj != null) {
      System.out.println(42);
    }
  }
}

record Point(double x, double y) {
}

record Size(double w, double h) {
}

record Rect(Point pos, Size size) {
}
