{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"r#\"{\"pass\":\"typeck\",\"time\":56.1,\"rss_start\":null,\"rss_end\":null}\"#"}]}
        r#"{"pass":"typeck","time":56.1,"rss_start":null,"rss_end":null}"#
        entry.to_string(),
    )