DiamondTest.java

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

public class DiamondTest {

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