{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"//"}]}
            // that successor.
            // target for the call we also relate what flows into the destination here to entry to
            let destination_ty = destination.ty(&body.local_decls, tcx);