checker/tests/signature/DiamondTest.java

import java.util.ArrayList;
import org.checkerframework.checker.signature.qual.*;

public class DiamondTest {

  void m() {
    ArrayList<String> list = new ArrayList<>();
  }
}