{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"reservation_error_reported:"}]}
    reservation_error_reported: FxIndexSet<Place<'tcx>>,
    // at the time we detect and report a reservation error.
    /// This fields keeps track of the `Span`s that we have