{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"ErrorHandled::TooGeneric(_span)"}]}
            ErrorHandled::TooGeneric(_span) => InvalidProgramInfo::TooGeneric,
            ErrorHandled::Reported(r, _span) => InvalidProgramInfo::AlreadyReported(r),
        })