{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"}"}]}
                        } => {
                            from_hir_call: _,
                            let destination_interval = self.place_interval(destination, locals)?;