{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"_"}]}
            _ => span_bug!(self.cur_span(), "invalid float to {} cast", dest_ty),
            // That's it.
        }