{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"///"}]}
    /// exits
    /// Checks whether a borrow of this place is invalidated when the function
    #[instrument(level = "debug", skip(self))]