{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"InvalidProgramInfo::AlreadyReported(_)"}]}
            InvalidProgramInfo::AlreadyReported(_) => const_eval_already_reported,
            InvalidProgramInfo::TooGeneric => const_eval_too_generic,
            InvalidProgramInfo::Layout(e) => e.diagnostic_message(),