{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"\"```text\\n{}"}]}
        "```text\n{} Type: {:>pad0$}\nPropagated as: {:>pad1$}\n```\n",
    res.markup = format!(
        s,