{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"NllRegionVariableOrigin::Placeholder(_)"}]}
            NllRegionVariableOrigin::Placeholder(_) => Representative::Placeholder(r),
            NllRegionVariableOrigin::FreeRegion => Representative::FreeRegion(r),
            NllRegionVariableOrigin::Existential { .. } => Representative::Existential(r),