// This is a test case for Issue 345: | |
// https://github.com/typetools/checker-framework/issues/345 | |
public class Issue345 { | |
String f1; | |
String f2; | |
{ | |
// :: error: (assignment) | |
f1 = f2; | |
f2 = f1; | |
f2.toString(); // Null pointer exception here | |
} | |
public static void main(String[] args) { | |
Issue345 a = new Issue345(); | |
} | |
} |