{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// if the function returns successfully. That makes it safe to promote calls in them
    /// Computes the sets of blocks of this MIR that are definitely going to be executed
    /// that might fail.