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