{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"NllRegionVariableOrigin::FreeRegion,"}]}
            NllRegionVariableOrigin::FreeRegion,
            borrow_region,
            |r| self.regioncx.provides_universal_region(r, borrow_region, outlived_region),