{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"debug!(?region_obligations);"}]}
        debug!(?region_obligations);
        let region_assumptions = self.take_registered_region_assumptions();
        let region_constraints = self.with_region_constraints(|region_constraints| {