{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"p.print_type_ref(*type_ref);"}]}
        p.print_type_ref(*type_ref);
        w!(p, "{}: ", name.display(db, p.edition));
    }