{"ast_node_type":"variable","tokens":[{"end":51,"kind":"keyword","start":0,"text":"let"}]}
        let terminator = body[source].terminator();
        let def_id = body.source.def_id();
        let labels = terminator.kind.fmt_successor_labels();