diff --git a/infer/src/nullsafe/eradicateChecks.ml b/infer/src/nullsafe/eradicateChecks.ml index 300885543..c5f101c05 100644 --- a/infer/src/nullsafe/eradicateChecks.ml +++ b/infer/src/nullsafe/eradicateChecks.ml @@ -305,7 +305,7 @@ let check_constructor_initialization tenv find_canonical_duplicate curr_construc () else register_error tenv find_canonical_duplicate - (TypeErr.Field_not_initialized {nullsafe_mode; field_name}) + (TypeErr.Field_not_initialized {field_name}) None ~nullsafe_mode loc curr_constructor_pdesc ; (* Check if field is over-annotated. *) match annotated_field with diff --git a/infer/src/nullsafe/typeErr.ml b/infer/src/nullsafe/typeErr.ml index ab80a6736..6fc670c78 100644 --- a/infer/src/nullsafe/typeErr.ml +++ b/infer/src/nullsafe/typeErr.ml @@ -65,7 +65,7 @@ type err_instance = ; violation_type: InheritanceRule.ReportableViolation.violation_type ; base_proc_name: Procname.t ; overridden_proc_name: Procname.t } - | Field_not_initialized of {nullsafe_mode: NullsafeMode.t; field_name: Fieldname.t} + | Field_not_initialized of {field_name: Fieldname.t} | Over_annotation of { over_annotated_violation: OverAnnotatedRule.violation ; violation_type: OverAnnotatedRule.violation_type } diff --git a/infer/src/nullsafe/typeErr.mli b/infer/src/nullsafe/typeErr.mli index f1b38e218..970f86086 100644 --- a/infer/src/nullsafe/typeErr.mli +++ b/infer/src/nullsafe/typeErr.mli @@ -41,7 +41,7 @@ type err_instance = ; violation_type: InheritanceRule.ReportableViolation.violation_type ; base_proc_name: Procname.t ; overridden_proc_name: Procname.t } - | Field_not_initialized of {nullsafe_mode: NullsafeMode.t; field_name: Fieldname.t} + | Field_not_initialized of {field_name: Fieldname.t} | Over_annotation of { over_annotated_violation: OverAnnotatedRule.violation ; violation_type: OverAnnotatedRule.violation_type }