/** 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";
}
}