{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"\"{:?}"}]}
                    "{:?} input to a fat-to-thin cast ({} -> {})",
                    self.cur_span(),
                    *src,