{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"s.print_type(ty);"}]}
                    s.print_type(ty);
                    s.word_space(":");
                    if !param.bounds.is_empty() {