/** Tests that a final field annotation is inferred. */
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";
    }
}