{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"HygieneId::ROOT,"}]}
        HygieneId::ROOT,
        &hir_def::expr_store::path::Path::from_known_path_with_no_generic(path![std::fmt::format]),
    ) else {