{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"self.word_space(\"->\");"}]}
                self.word_space("->");
                let ib = self.ibox(INDENT_UNIT);
                self.print_type(ty);