{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        quote! { ::rustc_middle::ty::codec::RefDecodable::decode }
        quote! { ::rustc_serialize::Decodable::decode }