{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
/// is called to recursively convert the whole structure to a
/// trees. At the end of trait solving `ProofTreeBuilder::finalize`
/// finished proof tree.