/** Tests that a final field annotation is inferred. */
public class FieldsImplicits {
  final String finalField = "asdf";
  static final String finalStaticField = "asdf";
  String nonFinalField = "asdf";

  void test() {
    boolean a = finalField == "asdf";
    boolean b = finalStaticField == "asdf";
    // :: error: (not.interned)
    boolean c = nonFinalField == "asdf";
  }
}