{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"InterpErrorKind::UndefinedBehavior(ub)"}]}
            InterpErrorKind::UndefinedBehavior(ub) => ub.add_args(diag),
        match self {
            InterpErrorKind::Unsupported(e) => e.add_args(diag),