State that persists in the .specs files.

`val report_error : InferIR.Tenv.t ‑> InferIR.Typ.Procname.t ‑> InferIR.Procdesc.t ‑> InferBase.IssueType.t ‑> InferBase.Location.t ‑> ?⁠field_name:InferIR.Typ.Fieldname.t option ‑> ?⁠origin_loc:InferBase.Location.t option ‑> ?⁠exception_kind:(InferBase.IssueType.t ‑> InferIR.Localise.error_desc ‑> exn) ‑> ?⁠always_report:bool ‑> string ‑> unit`

Report an error.