Module Nullsafe__EradicateReporting
val report_error : Absint.IntraproceduralAnalysis.t -> IBase.Checker.t -> ?field_name:IR.Fieldname.t option -> Nullsafe.NullsafeIssue.t -> unit
Nullsafe__EradicateReporting
val report_error : Absint.IntraproceduralAnalysis.t -> IBase.Checker.t -> ?field_name:IR.Fieldname.t option -> Nullsafe.NullsafeIssue.t -> unit