{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"format_to!(buf,"}]}
        format_to!(buf, "Unchecked type annotations:\n");
    if !types.is_empty() {
        for t in types {