{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"self.inner.borrow().region_assumptions.is_empty(),"}]}
            self.inner.borrow().region_assumptions.is_empty(),
        assert!(
            "region_assumptions not empty: {:#?}",