{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"inner.region_obligations,"}]}
                inner.region_obligations,
                "region_obligations not empty: {:#?}",
            );