{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"info!("}]}
                info!(
            } else {
                    "compiler_builtins call to diverging function {:?} replaced with abort",