{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// where the local `mpi` is drop-live on entry to that terminator.
    /// This method adds all drop-live points within the block and --