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