import org.checkerframework.checker.initialization.qual.*; | |
import org.checkerframework.checker.nullness.qual.*; | |
public class InitSuppressWarnings { | |
private void init_vars(@UnderInitialization(Object.class) InitSuppressWarnings this) { | |
@SuppressWarnings({"nullness"}) | |
@Initialized InitSuppressWarnings initializedThis = this; | |
} | |
} |