checker/tests/wpi-testchecker/non-annotated/ImplicitAnnosTest.java

public class ImplicitAnnosTest {

  void test() {
    StringBuffer sb = new StringBuffer();
    StringBuffer sb2 = sb;
  }
}