{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"::rustc_serialize::Encoder::emit_u8(__encoder,"}]}
                        ::rustc_serialize::Encoder::emit_u8(__encoder, disc as u8);
                        };
                    }