pub fn register_region_obligation(
        &self,
        body_id: ast::NodeId,
        obligation: RegionObligation<'tcx>,
    ) {
        debug!(
            "register_region_obligation(body_id={:?}, obligation={:?})",
            body_id, obligation
        );

        self.region_obligations
            .borrow_mut()
            .push((body_id, obligation));
    }
/// Registers that the given region obligation must be resolved
/// from within the scope of `body_id`. These regions are enqueued
/// and later processed by regionck, when full type information is
/// available (see `region_obligations` field for more
/// information).
Registers that the given region obligation must be resolved
from within the scope of `body_id`. These regions are enqueued
and later processed by regionck, when full type information is
available (see `region_obligations` field for more
information).
Registers that the given region obligation must be resolved from within the scope of ` body_id ` . These regions are enqueued and later processed by regionck when full type information is available ( see ` region_obligations ` field for more information ) .
pub fn register_region_obligation(
        &self,
        body_id: ast::NodeId,
        obligation: RegionObligation<'tcx>,
    ) {
        debug!(
            "register_region_obligation(body_id={:?}, obligation={:?})",
            body_id, obligation
        );
        self.region_obligations
            .borrow_mut()
            .push((body_id, obligation));
    }
pub fn register_region_obligation ( & self , body_id : ast :: NodeId , obligation : RegionObligation < ' tcx > , ) { debug ! ( " " body_id obligation ) ; self . region_obligations . borrow_mut ( ) . push ( ( body_id , obligation ) ) ; }
Registers that the given region obligation must be resolved
from within the scope of `body_id`.
Registers that the given region obligation must be resolved from within the scope of ` body_id ` .
&self
body_id
ast::NodeId
obligation
RegionObligation<'tcx>
&self
body_id
ast::NodeId
obligation
RegionObligation<'tcx>