{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"mir::StatementKind::Assign(Box::new(("}]}
                mir::StatementKind::Assign(Box::new((
                bb.terminator().source_info,
                    *destination,