import org.checkerframework.checker.nullness.qual.*; | |
public class Throwing { | |
String a; | |
// :: error: (initialization.fields.uninitialized) | |
public Throwing(boolean throwError) { | |
if (throwError) { | |
throw new RuntimeException("not a real error"); | |
} | |
} | |
// :: error: (initialization.fields.uninitialized) | |
public Throwing(int input) { | |
try { | |
throw new RuntimeException("not a real error"); | |
} catch (RuntimeException e) { | |
// do nothing | |
} | |
} | |
} |