Add back synthetic fields checking to redex-stable

Summary: add back IGET checks on synthetic fields Reviewed By: thezhangwei Differential Revision: D68847159 fbshipit-source-id: 18a4956194be1a2b9784559b150fc6f733b798d8
facebook · Jan 30, 2025 · fef75f4 · fef75f4
1 parent 719d122
commit fef75f4
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/opt/typedef-anno-checker/TypedefAnnoCheckerPass.cpp b/opt/typedef-anno-checker/TypedefAnnoCheckerPass.cpp
@@ -630,10 +630,6 @@ bool TypedefAnnoChecker::check_typedef_value(
     case OPCODE_SGET:
     case OPCODE_IGET_OBJECT:
     case OPCODE_SGET_OBJECT: {
-      auto field = resolve_field(def->get_field());
-      if (is_synthetic(field)) {
-        // TODO: add stats for this
-      }
       auto field_anno = type_inference::get_typedef_anno_from_member(
           def->get_field(), inference->get_annotations());
       if (!field_anno || field_anno != annotation) {