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

import org.jetbrains.annotations.NotNull;

public class ConstructorParam {
  public ConstructorParam(@NotNull Object o) {
  }
}