{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"s.word_nbsp(\":\");"}]}
                        s.word_nbsp(":");
                    if !param.bounds.is_empty() {
                        s.print_lifetime_bounds(&param.bounds)