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

// A test that ensures that stub-based inference correctly handles fields
// with inferred types that are anonymous classes.

import java.util.*;

public class AnonymousClassField {
  public static final List foo = new ArrayList<String>() {};
}